Mudide, Anish

3 publications

TMLR 2025 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

ICLR 2025 Efficient Dictionary Learning with Switch Sparse Autoencoders Anish Mudide, Joshua Engels, Eric J Michaud, Max Tegmark, Christian Schroeder de Witt

NeurIPSW 2024 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