Yutong Cheng

2026

pdf bib
NL2Logic: 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
Venues
Fix author