8 citations · 13 across the 4 of their papers we have counts for
4 papers
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…
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…
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy
Joseph P. Near, David Darais, Chike Abuah +8
During the past decade, differential privacy has become the gold standard for protecting the privacy of individuals. However, verifying that a particular program provides different…
Data Capsule: A New Paradigm for Automatic Compliance with Data Privacy Regulations
Lun Wang, Joseph P. Near, Neel Somani +4
The increasing pace of data collection has led to increasing awareness of privacy risks, resulting in new data privacy regulations like General data Protection Regulation (GDPR). S…