Anish Mudide

1. DafnyBench: A Benchmark for Formal Software Verification
   2024/06/12 by Chloe Loughridge, Loughridge, Chloe, Qinyi Sun +17 · 26 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Security and Verification in Computing #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
2. Efficient Dictionary Learning with Switch Sparse Autoencoders
   2024/10/10 by Anish Mudide, Mudide, Anish, Joshua Engels +7 · 21 citations
   Computer Science · #Speech and Audio Processing #Face and Expression Recognition #Advanced Data Compression Techniques
3. Opening the AI black box: program synthesis via mechanistic interpretability
   2024/02/07 by Eric J. Michaud, Michaud, Eric J., Isaac Liao +17 · 3 citations
   Computer Science · #Computability, Logic, AI Algorithms #Evolutionary Algorithms and Applications #FOS: Computer and information sciences #Machine Learning (cs.LG)