NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Xin Quan
Number of Papers:- 5
Number of Citations:- 0
First ACL Paper:- 2024
Latest ACL Paper:- 2025
Venues:-
ACL
EACL
EMNLP
Co-Authors:-
Andre Freitas
Danilo Carvalho
Dhairya Dalal
Lan Zhang
Louise A Dennis
Similar Authors:-
2025
2024
PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
ACL
Xin Quan |
Marco Valentino |
Danilo Carvalho |
Dhairya Dalal |
Andre Freitas |
Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations
ACL
Xin Quan |
Marco Valentino |
Louise A. Dennis |
Andre Freitas |
Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement
EACL
Xin Quan |
Marco Valentino |
Louise Dennis |
Andre Freitas |
Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
EMNLP
Xin Quan |
Marco Valentino |
Louise A. Dennis |
Andre Freitas |
Consistent Autoformalization for Constructing Mathematical Libraries
EMNLP
Lan Zhang |
Xin Quan |
Andre Freitas |
.