Publications of Xin Quan
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 |