Post-hoc auditing framework opens black box of neural auction mechanisms
CITransNet is unpacked using sparse autoencoders to verify features that align with Myerson's optimal auction theory.
15 stories, newest first · one card per story
CITransNet is unpacked using sparse autoencoders to verify features that align with Myerson's optimal auction theory.
New toolkit falsifies claimed privacy guarantees in Node-DP mechanism.
A trusted auditor enrolls identities in advance; audit time uses only the claimed identity and the released summary, not provider logs.
CorrectGuard estimates black-box AI guardrail correctness without inspecting user input or guardrail internals, boosting error-detection accuracy up to 25 points.
VStress-CA spends repeated verifier calls only when they add conditional information, improving accuracy under a fixed budget.
SKILLLITE audits third-party Agent Skills for hidden malicious behavior using compact local LLMs.
Explaining five percent of tokens retains nearly all prompt-injection audit success on three of four datasets.
SAKIKO finds activation steering can raise tool-use scores while corrupting many previously correct LLM decisions.
FARE flags silent swaps of certified AI image generators by testing images against enrolled forensic artifacts.
ARGUS, a language-model pipeline, audits identification assumptions in climate-policy difference-in-differences studies and abstains when evidence is missing.
Paper proposes skill habit formation so agents cache deterministic skills from execution history, fixing 38-74% answer inconsistency and cutting tokens 14-56%.
Conformal Privacy Auditing certifies per-document re-identification risk against LLM attackers with statistical coverage guarantees.

Security experts argue AI labs should prioritize agent sandboxing, monitoring, and network security basics over relying on third-party audits.
Open-1B releases a 1B-parameter model with bitwise-reproducible training, letting independent auditors verify every step of the run on commodity hardware.
Researchers introduce the Discovery Certification Protocol, an auditable test framework that verifies whether AI research agents' claimed discoveries are genuine.
Today 1.5K readers · 2.4K views · 754 reads · all time 189K views