TY  - RPRT
TI  - LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving
AU  - Muyu Pan
AU  - Matthew Walter
AU  - Dheeraj Kodakandla
AU  - Mahfuza Farooque
PY  - 2025
UR  - https://arxiv.org/abs/2512.04374
ID  - 2512.04374
ER  -