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, 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 (CoRR, 2025)