NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Xin Quan
Number of Papers:- 3
Number of Citations:- 0
First ACL Paper:- 2024
Latest ACL Paper:- 2024
Venues:-
EMNLP
EACL
Co-Authors:-
Andre Freitas
Lan Zhang
Louise A Dennis
Louise Dennis
Marco Valentino
Similar Authors:-
2024
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 |
.