LGMT tests whether LLMs contradict equivalent logical queries
Across 3,091 metamorphic groups, six widely used LLMs showed inconsistency rates from 20.84% to 29.44%.
Stories per day · 30 days
3 stories, newest first · one card per story
Stories tagged #z3
Access Control as Verified Parse Constraints
Researchers verify a class of EverParse validators that correctly enforce access-control policies, deploying a machine-checked enforcement gate on seL4.
Beyond Solver Verdicts: Generative Reward Models for Autoformalization
Researchers introduce Generative Verification (GenV), a generative reward model achieving 0.961 AUROC in detecting unfaithful autoformalization that preserves solver verdicts.