Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Putra, Rizky Ramadhana, Basuki, Raihan Sultan Pasha, Cheng, Yutong, Gao, Peng
Format:	Preprint
Publié:	2026
Sujets:	Artificial Intelligence Computation and Language I.2.3; I.2.7
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Advancing Natural Language Formalization to First Order Logic with Fine-tuned LLMs
par: Vossel, Felix, et autres
Publié: (2025)

SQL Query Engine: A Self-Healing LLM Pipeline for Natural Language to PostgreSQL Translation
par: Ijaz, Muhammad Adeel
Publié: (2026)

Large Language Models Are Not Strong Abstract Reasoners
par: Gendron, Gaël, et autres
Publié: (2023)

LLM-Assisted Formalization Enables Deterministic Detection of Statutory Inconsistency in the Internal Revenue Code
par: Yadamsuren, Borchuluun, et autres
Publié: (2025)

MIRAGE: Scaling Test-Time Inference with Parallel Graph-Retrieval-Augmented Reasoning Chains
par: Wei, Kaiwen, et autres
Publié: (2025)

Training Language Models to Use Prolog as a Tool
par: Mellgren, Niklas, et autres
Publié: (2025)

Enhancing Large Language Models through Neuro-Symbolic Integration and Ontological Reasoning
par: Vsevolodovna, Ruslan Idelfonso Magana, et autres
Publié: (2025)

Understanding Syllogistic Reasoning in LLMs from Formal and Natural Language Perspectives
par: Poddar, Aheli, et autres
Publié: (2025)

Leveraging Log Probabilities in Language Models to Forecast Future Events
par: Soru, Tommaso, et autres
Publié: (2025)

RubikSQL: Lifelong Learning Agentic Knowledge Base as an Industrial NL2SQL System
par: Chen, Zui, et autres
Publié: (2025)

Advancing Explainability in Neural Machine Translation: Analytical Metrics for Attention and Alignment Consistency
par: Mishra, Anurag
Publié: (2024)

Complementarity, Augmentation, or Substitutivity? The Impact of Generative Artificial Intelligence on the U.S. Federal Workforce
par: Resh, William G., et autres
Publié: (2025)

By Their Fruits You Will Know Them: Comparing Formalizations of Law by the Decisions They Encode
par: Vernie, Julius, et autres
Publié: (2026)

Grokking in the Wild: Data Augmentation for Real-World Multi-Hop Reasoning with Transformers
par: Abramov, Roman, et autres
Publié: (2025)

An Explainable Collaborative Dialogue System using a Theory of Mind
par: Cohen, Philip R., et autres
Publié: (2023)

Gyan: An Explainable Neuro-Symbolic Language Model
par: Srinivasan, Venkat, et autres
Publié: (2026)

Robust Uncertainty Quantification for Factual Generation of Large Language Models
par: Zhang, Yuhao, et autres
Publié: (2026)

Solving Zebra Puzzles Using Constraint-Guided Multi-Agent Systems
par: Berman, Shmuel, et autres
Publié: (2024)

ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
par: Jana, Prithwish, et autres
Publié: (2025)

Datrics Text2SQL: A Framework for Natural Language to SQL Query Generation
par: Gladkykh, Tetiana, et autres
Publié: (2025)

Taking Flight with Dialogue: Enabling Natural Language Control for PX4-based Drone Agent
par: Lim, Shoon Kit, et autres
Publié: (2025)

Unified Modeling Language Code Generation from Diagram Images Using Multimodal Large Language Models
par: Bates, Averi, et autres
Publié: (2025)

Merge-Bench: Resolve Merge Conflicts with Large Language Models
par: Schesch, Benedikt, et autres
Publié: (2026)

Can Large Language Models Learn Independent Causal Mechanisms?
par: Gendron, Gaël, et autres
Publié: (2024)

Distilling Desired Comments for Enhanced Code Review with Large Language Models
par: Yu, Yongda, et autres
Publié: (2024)

Automated Bug Triaging using Instruction-Tuned Large Language Models
par: Kiashemshaki, Kiana, et autres
Publié: (2025)

LLM-Assisted Translation of Legacy FORTRAN Codes to C++: A Cross-Platform Study
par: Ranasinghe, Nishath Rajiv, et autres
Publié: (2025)

Thinking Machines: Mathematical Reasoning in the Age of LLMs
par: Asperti, Andrea, et autres
Publié: (2025)

LLM-Rubric: A Multidimensional, Calibrated Approach to Automated Evaluation of Natural Language Texts
par: Hashemi, Helia, et autres
Publié: (2024)

Entropy-Based Measurement of Value Drift and Alignment Work in Large Language Models
par: Fadli, Samih
Publié: (2025)

OSCToM: RL-Guided Adversarial Generation for High-Order Theory of Mind
par: Srishty, Sharmin Sultana, et autres
Publié: (2026)

Transformer Scalability Crisis: The First Comprehensive Empirical Analysis of Performance Walls in Modern Language Models
par: Moghadasi, Mahdi Naser, et autres
Publié: (2026)

DISCO: DISCovering Overfittings as Causal Rules for Text Classification Models
par: Zhang, Zijian, et autres
Publié: (2024)

Formal Proofs as Structured Explanations: Proposing Several Tasks on Explainable Natural Language Inference
par: Abzianidze, Lasha
Publié: (2023)

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
par: Thompson, Kyle, et autres
Publié: (2024)

Software Defined Vehicle Code Generation: A Few-Shot Prompting Approach
par: Nguyen, Quang-Dung, et autres
Publié: (2025)

CRISP: Persistent Concept Unlearning via Sparse Autoencoders
par: Ashuach, Tomer, et autres
Publié: (2025)

Learning Natural Language Constraints for Safe Reinforcement Learning of Language Agents
par: Chua, Jaymari, et autres
Publié: (2025)

Omnilingual MT: Machine Translation for 1,600 Languages
par: Omnilingual MT Team, et autres
Publié: (2026)

OntoLogX: Ontology-Guided Knowledge Graph Extraction from Cybersecurity Logs with Large Language Models
par: Cotti, Luca, et autres
Publié: (2025)