ACL Anthology
About
Announcements
Communication channels
Related work
Copyright
Credits
Volunteer
Development
Feedback
Using
Author directory
Citing papers
Links in the Anthology
Data access
All FAQs
Details
Anthology identifiers
Names
ORCID iDs
DOIs
Verified authors
Contributions
Submissions
Corrections
Maintain author pages
Attachments
GitHub
Yutong
Cheng
Author directory
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