DeduCE: Deductive Consistency as a Framework to Evaluate LLM Reasoning. - Atharva Pandey; Kshitij Dubey; Rahul Sharma; Amit Sharma (CoRR, 2025)

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation. - Xinnuo Xu; Rachel Lawrence; Kshitij Dubey; Atharva Pandey; Risa Ueno; Fabian Falck; Aditya V. Nori; Rahul Sharma 001; Amit Sharma; Javier Gonzalez (CoRR, 2025)