Anish Mudide

According to our database, Anish Mudide authored at least 5 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

DafnyBench: A Benchmark for Formal Software Verification.

Chloe Loughridge, Qinyi Sun, Seth Ahrenbach, Federico Cassano, Chuyue Sun, Ying Sheng, Anish Mudide, Md Rakib Hossain Misu, Nada Amin, Max Tegmark

Trans. Mach. Learn. Res., 2025

Efficient Dictionary Learning with Switch Sparse Autoencoders.

Anish Mudide, Joshua Engels, Eric J. Michaud, Max Tegmark, Christian Schröder de Witt

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2024

Opening the AI black box: program synthesis via mechanistic interpretability.

Eric J. Michaud, Isaac Liao, Vedang Lad, Ziming Liu, Anish Mudide, Chloe Loughridge, Zifan Carl Guo, Tara Rezaei Kheirkhah, Mateja Vukelic, Max Tegmark

CoRR, 2024

2021

SARS-CoV-2 Drug Discovery based on Intrinsically Disordered Regions.

Anish Mudide, Gil Alterovitz

Proceedings of the Biocomputing 2021: Proceedings of the Pacific Symposium, 2021

How Much Does the (Social) Environment Matter? Using Artificial Intelligence to Predict COVID-19 Outcomes with Socio-demographic Data.

Christos A. Makridis, Anish Mudide, Gil Alterovitz

Proceedings of the Biocomputing 2021: Proceedings of the Pacific Symposium, 2021