Publications of Xin Quan
2025
| Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations, , , and , in: 63rd Annual Meeting of the Association for Computational Linguistics, 2025 |
| PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement, , , , and , in: Demonstration at 63rd Annual Meeting of the Association for Computational Linguistics, 2025 |
2024
| Consistent Autoformalization for Constructing Mathematical Libraries, , and , in: The 2024 Conference on Empirical Methods in Natural Language Processing, 2024 |
| Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement, , , and , in: The 18th Conference of the European Chapter of the Association for Computational Linguistics (EACL 2024), 2024 |
| Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving, , , and , in: Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024 |