Amogh Inamdar

According to our database, Amogh Inamdar authored at least 2 papers in 2025.

Collaborative distances:

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

2025

LogicLearner: A Tool for the Guided Practice of Propositional Logic Proofs.

Amogh Inamdar, Uzay Macar, Michel Vazirani, Michael Tarnow, Zarina Mustapha, Natalia Dittren, Sam Sadeh, Nakul Verma, Ansaf Salleb-Aouissi

CoRR, March, 2025

QuEst: Enhancing Estimates of Quantile-Based Distributional Measures Using Model Predictions.

Zhun Deng, Thomas P. Zollo, Benjamin Eyre, Amogh Inamdar, David Madras, Richard S. Zemel

Proceedings of the Forty-second International Conference on Machine Learning, 2025