Image de couverture de livre

Improving the Diproche CNL through Autoformalization via Large Language Models

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Carl, Merlin
Format:	Preprint
Publié:	2023
Sujets:	Computation and Language Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Using Large Language Models for (De-)Formalization and Natural Argumentation Exercises for Beginner's Students
par: Carl, Merlin
Publié: (2023)

Process-Driven Autoformalization in Lean 4
par: Lu, Jianqiao, et autres
Publié: (2024)

Can Large Language Models Autoformalize Kinematics?
par: Kabra, Aditi, et autres
Publié: (2025)

A note on Grigoriev and Zaitsev's system CNL$^2_4$
par: Omori, Hitoshi, et autres
Publié: (2024)

Towards Autoformalization of LLM-generated Outputs for Requirement Verification
par: Gupte, Mihir, et autres
Publié: (2025)

Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
par: Lalwani, Abhinav, et autres
Publié: (2024)

Aligning with Logic: Measuring, Evaluating and Improving Logical Preference Consistency in Large Language Models
par: Liu, Yinhong, et autres
Publié: (2024)

Coherency through formalisations of Structured Natural Language, A case study on FRETish
par: Joosten, Joost J., et autres
Publié: (2026)

Generics and Default Reasoning in Large Language Models
par: Kirkpatrick, James Ravi, et autres
Publié: (2025)

LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models
par: Wan, Yuxuan, et autres
Publié: (2024)

Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study
par: Wang, Keyu, et autres
Publié: (2024)

Reasoning Capabilities of Large Language Models. Lessons Learned from General Game Playing
par: Świechowski, Maciej, et autres
Publié: (2026)

From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Models
par: Bayat, Farima Fatahi, et autres
Publié: (2025)

Making first order linear logic a generating grammar
par: Slavnov, Sergey
Publié: (2022)

Autoformalizing Euclidean Geometry
par: Murphy, Logan, et autres
Publié: (2024)

Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing
par: Moore, Hayden, et autres
Publié: (2025)

Reliable Conversational Agents under ASP Control that Understand Natural Language
par: Zeng, Yankai
Publié: (2025)

Conflict-Aware Fusion: Mitigating Logic Inertia in Large Language Models via Structured Cognitive Priors
par: Bao, Qiming, et autres
Publié: (2025)

Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames
par: Hausmann, Daniel, et autres
Publié: (2025)

Kleene algebra with commutativity conditions is undecidable
par: de Amorim, Arthur Azevedo, et autres
Publié: (2024)

Llemma: An Open Language Model For Mathematics
par: Azerbayev, Zhangir, et autres
Publié: (2023)

Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents
par: Brown, Chad E., et autres
Publié: (2026)

Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework
par: Li, Junle, et autres
Publié: (2025)

Improving Reachability in Vector Addition Systems through Pumpability
par: Chen, Weijun, et autres
Publié: (2026)

A Categorical Framework for Modeling with Stock and Flow Diagrams
par: Baez, John C., et autres
Publié: (2022)

Token Assorted: Mixing Latent and Text Tokens for Improved Language Model Reasoning
par: Su, DiJia, et autres
Publié: (2025)

Leveraging Large Language Models to Boost Dafny's Developers Productivity
par: Silva, Álvaro, et autres
Publié: (2024)

Advancing Spatial Reasoning in Large Language Models: An In-Depth Evaluation and Enhancement Using the StepGame Benchmark
par: Li, Fangjun, et autres
Publié: (2024)

CIll: CTI-Guided Invariant Generation via LLMs for Model Checking
par: Su, Yuheng, et autres
Publié: (2026)

MedLogic-AQA: Enhancing Medical Question Answering with Abstractive Models Focusing on Logical Structures
par: Zafar, Aizan, et autres
Publié: (2024)

ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization
par: Cabral, Rafael, et autres
Publié: (2025)

Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic
par: Guzmán, Manuel Vargas, et autres
Publié: (2025)

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
par: Cristiá, Maximiliano, et autres
Publié: (2022)

On Quantum Programming Languages
par: Valiron, Benoît
Publié: (2024)

Bialgebraic Reasoning on Stateful Languages
par: Goncharov, Sergey, et autres
Publié: (2025)

JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language Models
par: Chen, Michael K., et autres
Publié: (2025)

Defining implication relation for classical logic
par: Fu, Li
Publié: (2013)

Basic interactive algorithms: Preview
par: Gurevich, Yuri
Publié: (2025)

Munkres' General Topology Autoformalized in Isabelle/HOL
par: Bryant, Dustin, et autres
Publié: (2026)

A Probabilistic Choreography Language for PRISM
par: Carbone, Marco, et autres
Publié: (2025)