팔로우
Xin Quan
제목
인용
인용
연도
Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement
X Quan, M Valentino, LA Dennis, A Freitas
EACL 2024, 2024
72024
Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
X Quan, M Valentino, LA Dennis, A Freitas
EMNLP 2024, 2024
62024
Consistent Autoformalization for Constructing Mathematical Libraries
L Zhang, X Quan, A Freitas
EMNLP 2024, 2024
12024
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–3