APA (7th ed.) Citation

Pan, M., Walter, M., Kodakandla, D., & Farooque, M. (2025). LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving.

Chicago Style (17th ed.) Citation

Pan, Muyu, Matthew Walter, Dheeraj Kodakandla, and Mahfuza Farooque. LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving. 2025.

MLA (9th ed.) Citation

Pan, Muyu, et al. LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving. 2025.