A Closer Look at Tool-based Logical Reasoning with LLMs: The Choice of Tool Matters. - Long Hei Matthew Lam; Ramya Keerthy Thatikonda; Ehsan Shareghi (ALTA, 2024)

Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification. - Ramya Keerthy Thatikonda; Jiuzhou Han; Wray L. Buntine; Ehsan Shareghi (CoRR, 2024)

Assessing the Alignment of FOL Closeness Metrics with Human Judgement. - Ramya Keerthy Thatikonda; Wray L. Buntine; Ehsan Shareghi (CoRR, 2025)