Ramya Keerthy Thatikonda

According to our database, Ramya Keerthy Thatikonda authored at least 6 papers between 2024 and 2026.

Collaborative distances:

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

2026

Improving Symbolic Translation of Language Models for Logical Reasoning.

Ramya Keerthy Thatikonda, Jiuzhou Han, Wray L. Buntine, Ehsan Shareghi

CoRR, January, 2026

2025

Assessing the Alignment of FOL Closeness Metrics with Human Judgement.

Ramya Keerthy Thatikonda, Wray L. Buntine, Ehsan Shareghi

CoRR, January, 2025

Assessing the Sensitivity and Alignment of FOL Closeness Metrics.

Ramya Keerthy Thatikonda, Wray L. Buntine, Ehsan Shareghi

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2025, 2025

Logical Reasoning with Outcome Reward Models for Test-Time Scaling.

Ramya Keerthy Thatikonda, Wray L. Buntine, Ehsan Shareghi

Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing, 2025

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

A Closer Look at Tool-based Logical Reasoning with LLMs: The Choice of Tool Matters.

Long Hei Matthew Lam, Ramya Keerthy Thatikonda, Ehsan Shareghi

Proceedings of the 22nd Annual Workshop of the Australasian Language Technology Association, 2024