Anish Mudide

Undergrad student, Computer Science, Massachusetts Institute of Technology

Joined

January 2024

Names

Anish Mudide (Preferred)

Emails

****@mit.edu (Confirmed)

,

****@gmail.com

Personal Links

Career & Education History

Undergrad student

Computer Science, Massachusetts Institute of Technology (mit.edu)

2023 – 2027

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

DafnyBench: A Benchmark for Formal Software Verification
Chloe R Loughridge, Qinyi Sun, Seth Ahrenbach, Federico Cassano, Chuyue Sun, Ying Sheng, Anish Mudide, Md Rakib Hossain Misu, Nada Amin, Max Tegmark
- Accepted by TMLR
- Readers: Everyone
Efficient Dictionary Learning with Switch Sparse Autoencoders
Anish Mudide, Joshua Engels, Eric J Michaud, Max Tegmark, Christian Schroeder de Witt
- ICLR 2025 Poster
- Readers: Everyone
DafnyBench: A Benchmark for Formal Software Verification
Chloe R Loughridge, Qinyi Sun, Seth Ahrenbach, Federico Cassano, Chuyue Sun, Ying Sheng, Anish Mudide, Md Rakib Hossain Misu, Nada Amin, Max Tegmark
- MATH-AI 24
- Readers: Everyone

Co-Authors