Autonomous Evaluation of LLMs for Truth Maintenance and Reasoning Tasks - Karia, Rushang; Bramblett, Daniel; Dobhal, Daksh; Srivastava, Siddharth (International Conference on Learning Representations, 2025)