3 papers
cs.AI2026
VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline
Xuan Liu, Dheeraj Kodakandla, Kushagra Srivastva +1
\textbf{VeriTrans} is a reliability-first ML system that compiles natural-language requirements into solver-ready logic with validator-gated reliability. The pipeline integrates an…
cs.CL2025
LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving
Muyu Pan, Matthew Walter, Dheeraj Kodakandla +1
Our work presents a novel reinforcement learning (RL) based framework to optimize heuristic selection within the conflict-driven clause learning (CDCL) process, improving the effic…
cs.CL2025
Fine-Tuned Large Language Models for Logical Translation: Reducing Hallucinations with Lang2Logic
Muyu Pan, Dheeraj Kodakandla, Mahfuza Farooque
Recent advances in natural language processing (NLP), particularly large language models (LLMs), have motivated the automatic translation of natural language statements into formal…