Publications of Xin Quan sorted by journal and type
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 |