ACL Anthology
News
(current)
FAQ
(current)
Corrections
(current)
Submissions
(current)
GitHub
This page is part of a
temporary preview
of a proposed change that may be incomplete or contain mistakes. It is
not official
and will be removed when the change is merged or abandoned.
Yutong
Cheng
2026
pdf
bib
NL
2
L
ogic:
AST
-Guided Translation of Natural Language into First-Order Logic with Large Language Models
Rizky Ramadhana Putra
|
Raihan Sultan Pasha Basuki
|
Yutong Cheng
|
Peng Gao
Findings of the Association for Computational Linguistics: EACL 2026
Search
Co-authors
Raihan Sultan Pasha Basuki
1
Peng Gao
1
Rizky Ramadhana Putra
1
Venues
Findings
1
Fix author