2 papers
cs.AI2026
PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs
Neel Somani
Mathematicians distinguish proofs that explain, simplify, or introduce a nonstandard route, but these judgments are difficult to operationalize. We study a deliberately narrower co…
cs.LG2026
Towards Verifiable Transformers: Solver-Checkable Circuit Explanations
Neel Somani
Mechanistic interpretability typically discovers circuits and then argues what they do from examples and ablations. We introduce Verifiable Transformers, a framework for turning ta…