Buchumschlag

Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhang, Lan, Valentino, Marco, Freitas, Andre
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Computation and Language Formal Languages and Automata Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

MASA: LLM-Driven Multi-Agent Systems for Autoformalization
von: Zhang, Lan, et al.
Veröffentlicht: (2025)

Consistent Autoformalization for Constructing Mathematical Libraries
von: Zhang, Lan, et al.
Veröffentlicht: (2024)

Bridging the Empirical-Theoretical Gap in Neural Network Formal Language Learning Using Minimum Description Length
von: Lan, Nur, et al.
Veröffentlicht: (2024)

FormalAlign: Automated Alignment Evaluation for Autoformalization
von: Lu, Jianqiao, et al.
Veröffentlicht: (2024)

Mathematical Approach in Automata and Automata Association
von: Maciel, Sergio Henrique
Veröffentlicht: (2020)

Tutorial: $φ$-Transductions in OpenFst via the Gallic Semiring
von: Cognetta, Marco, et al.
Veröffentlicht: (2025)

Tokenization as Finite-State Transduction
von: Cognetta, Marco, et al.
Veröffentlicht: (2024)

Towards Autoformalization of LLM-generated Outputs for Requirement Verification
von: Gupte, Mihir, et al.
Veröffentlicht: (2025)

Hyper pattern matching
von: Waga, Masaki, et al.
Veröffentlicht: (2025)

HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs
von: Ospanov, Azim, et al.
Veröffentlicht: (2025)

A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
von: Akshay, S, et al.
Veröffentlicht: (2023)

Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability
von: Cimatti, Alessandro, et al.
Veröffentlicht: (2024)

Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
von: Fränzle, Martin, et al.
Veröffentlicht: (2024)

A Usage-Aware Sequent Calculus for Differential Dynamic Logic
von: Dotzel, Myra, et al.
Veröffentlicht: (2023)

Parametric Timed Pattern Matching
von: Waga, Masaki, et al.
Veröffentlicht: (2019)

Execution-time opacity problems in one-clock parametric timed automata
von: André, Étienne, et al.
Veröffentlicht: (2024)

LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving
von: Pan, Muyu, et al.
Veröffentlicht: (2025)

Knee-Deep in C-RASP: A Transformer Depth Hierarchy
von: Yang, Andy, et al.
Veröffentlicht: (2025)

Recursive numeral systems are highly regular and easy to process
von: Prasertsom, Ponrawee, et al.
Veröffentlicht: (2025)

Explorability in Pushdown Automata
von: Bedi, Ayaan, et al.
Veröffentlicht: (2025)

Reachability in symmetric VASS
von: Kamiński, Łukasz, et al.
Veröffentlicht: (2025)

Cluster automata
von: Kornai, András
Veröffentlicht: (2025)

Benchmarking Testing in Automated Theorem Proving
von: Kim, Jongyoon, et al.
Veröffentlicht: (2026)

Directed Regular and Context-Free Languages
von: Ganardi, Moses, et al.
Veröffentlicht: (2024)

A Bionic Natural Language Parser Equivalent to a Pushdown Automaton
von: Wei, Zhenghao, et al.
Veröffentlicht: (2024)

Comparing Spoken Languages using Paninian System of Sounds and Finite State Machines
von: Prabhu, Shreekanth M, et al.
Veröffentlicht: (2023)

Transducing Language Models
von: Snæbjarnarson, Vésteinn, et al.
Veröffentlicht: (2026)

Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems
von: Roop, Partha, et al.
Veröffentlicht: (2026)

Self-Replicating Mechanical Universal Turing Machine
von: Lano, Ralph P.
Veröffentlicht: (2024)

Automata-based constraints for language model decoding
von: Koo, Terry, et al.
Veröffentlicht: (2024)

On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning
von: Nowak, Franz, et al.
Veröffentlicht: (2024)

Prefix Parsing is Just Parsing
von: Pasti, Clemente, et al.
Veröffentlicht: (2026)

A* shortest string decoding for non-idempotent semirings
von: Gorman, Kyle, et al.
Veröffentlicht: (2022)

TuringQ: Benchmarking AI Comprehension in Theory of Computation
von: Zahraei, Pardis Sadat, et al.
Veröffentlicht: (2024)

Correctness Notions for Petri Nets with Identifiers
von: van der Werf, Jan Martijn E. M., et al.
Veröffentlicht: (2022)

ToolGate: Contract-Grounded and Verified Tool Execution for LLMs
von: Liu, Yanming, et al.
Veröffentlicht: (2026)

Overview of Controllability Definitions in Supervisory Control Theory
von: Keiren, Jeroen J. A., et al.
Veröffentlicht: (2025)

Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs
von: Zhang, Shuhang, et al.
Veröffentlicht: (2025)

Diagnosability of labeled $\mathfrak{D_p}$ automata
von: Zhang, Kuize, et al.
Veröffentlicht: (2021)

Learning Deterministic Multi-Clock Timed Automata
von: Teng, Yu, et al.
Veröffentlicht: (2024)