NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models

Jan 4, 2026·

Rizky Ramadhana Putra

Raihan Sultan Pasha Basuki.

,

Yutong Cheng

,

Peng Gao

· 0 min read

Authors

NLP Natural Language AST First Order Language

Authors

Raihan Sultan Pasha Basuki.

Cybersecurity Practitioner / Junior Researcher

---

Pendekatan HCI dalam Evaluasi dan Redesain Aplikasi Jaklitera untuk Peningkatan UX Jan 5, 2025 →