Anandkumar, Animashree

FourCastNet: A Global Data-driven High-resolution Weather Model using Adaptive Fourier Neural Operators

Pathak, J., Subramanian, S., Harrington, P., Raja, S., Chattopadhyay, A., Mardani, M., Kurth, T., Hall, D., Li, Z., Azizzadenesheli, K., et al. (2022) · arXiv

Meteorological Phenomena and SimulationsModel Reduction and Neural Networks

Cited by 1,547

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Yang, K., Swope, A., Gu, A., Chalamala, R., Song, P., Yu, S., Godil, S., Prenger, R. J., & Anandkumar, A. (2023) · Advances in Neural Information Processing Systems 36

Logic, programming, and type systemsMathematics, Computing, and Information Processing

Cited by 97

A multi-institutional study using artificial intelligence to provide reliable and fair feedback to surgeons

Kiyasseh, D., Laca, J., Haque, T. F., Miles, B. J., Wagner, C., Donoho, D. A., Anandkumar, A., & Hung, A. J. (2023) · Communications Medicine

Explainable Artificial Intelligence (XAI)Surgical Simulation and Training

Cited by 69

Human visual explanations mitigate bias in AI-based assessment of surgeon skills

Kiyasseh, D., Laca, J., Haque, T. F., Otiato, M., Miles, B. J., Wagner, C., Donoho, D. A., Trinh, Q.-D., Anandkumar, A., & Hung, A. J. (2023) · npj Digital Medicine

Ethics and Social Impacts of AISurgical Simulation and Training

Cited by 53