Mudide, Anish

Opening the AI Black Box: Distilling Machine-Learned Algorithms into Code

Michaud, E. J., Liao, I., Lad, V., Liu, Z., Mudide, A., Loughridge, C., Guo, Z. C., Kheirkhah, T. R., Vukelić, M., & Tegmark, M. (2024) · Entropy

Explainable Artificial Intelligence (XAI)Software Engineering Research

Cited by 30

DafnyBench: A Benchmark for Formal Software Verification

Loughridge, C., Sun, Q., Ahrenbach, S., Cassano, F., Sun, C., Sheng, Y., Mudide, A., Misu, M. R. H., Amin, N., & Tegmark, M. (2024) · arXiv

Logic, programming, and type systemsFormal Methods in Verification

Cited by 6

Opening the AI black box: program synthesis via mechanistic interpretability

Michaud, E. J., Liao, I., Lad, V., Liu, Z., Mudide, A., Loughridge, C., Guo, Z. C., Kheirkhah, T. R., Vukelić, M., & Tegmark, M. (2024) · arXiv

Explainable Artificial Intelligence (XAI)Evolutionary Algorithms and Applications

Cited by 3