Dheeraj Kodakandla

According to our database, Dheeraj Kodakandla authored at least 3 papers between 2025 and 2026.

Collaborative distances:

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

2026

VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline.

Xuan Liu, Dheeraj Kodakandla, Kushagra Srivastva, Mahfuza Farooque

CoRR, April, 2026

2025

LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving.

Muyu Pan, Matthew Walter, Dheeraj Kodakandla, Mahfuza Farooque

CoRR, December, 2025

Fine-Tuned Large Language Models for Logical Translation: Reducing Hallucinations with Lang2Logic.

Muyu Pan, Dheeraj Kodakandla, Mahfuza Farooque

Proceedings of the International Symposium on Networks, Computers and Communications, 2025