Publications of Xin Quan sorted by journal and type
63rd Annual Meeting of the Association for Computational Linguistics (2025)
| Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations, , , and , in: 63rd Annual Meeting of the Association for Computational Linguistics, 2025 |
Demonstration at 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 |
The 2024 Conference on Empirical Methods in Natural Language Processing (2024)
| Consistent Autoformalization for Constructing Mathematical Libraries, , and , in: The 2024 Conference on Empirical Methods in Natural Language Processing, 2024 |
The 18th Conference of the European Chapter of the Association for Computational Linguistics (EACL 2024) (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 |
Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing (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 |