Buchumschlag

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Wang, Ruida, Zhang, Jipeng, Jia, Yizhen, Pan, Rui, Diao, Shizhe, Pi, Renjie, Zhang, Tong
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Formal Languages and Automata Theory Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Factorization Theorem for Forest Algebras
von: Almagor, Shaull, et al.
Veröffentlicht: (2026)

Completeness Theorems for Kleene algebra with tests and top
von: Pous, Damien, et al.
Veröffentlicht: (2023)

Myhill-Nerode Theorem for Higher-Dimensional Automata
von: Fahrenberg, Uli, et al.
Veröffentlicht: (2022)

Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata
von: Amrane, Amazigh, et al.
Veröffentlicht: (2025)

Kamp Theorem for Pomset Languages of Higher Dimensional Automata
von: Clement, Emily, et al.
Veröffentlicht: (2024)

The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently
von: Lehtinen, Karoliina, et al.
Veröffentlicht: (2025)

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

Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
von: Zhang, Lan, et al.
Veröffentlicht: (2025)

The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective
von: Bergsträßer, Pascal, et al.
Veröffentlicht: (2024)

RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation
von: Fang, Yue, 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)

Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems
von: Han, Xiaoguang, et al.
Veröffentlicht: (2024)

Compositional Abstraction for Timed Systems with Broadcast Synchronization
von: Chen, Hanyue, et al.
Veröffentlicht: (2025)

Tahr: The Generative Attribute Grammar Framework
von: Ciccaglione, Matteo, et al.
Veröffentlicht: (2025)

Fully Generalized Reactivity(1) Synthesis
von: Ehlers, Rüdiger, et al.
Veröffentlicht: (2024)

AGDES: Automatic Generation of Dependent Event Sequences
von: Guzman, Alexander Obeid
Veröffentlicht: (2026)

Closure Properties of General Grammars -- Formally Verified
von: Dvorak, Martin, et al.
Veröffentlicht: (2023)

Fast and General Automatic Differentiation for Finite-State Methods
von: Yang, Lucas Ondel, et al.
Veröffentlicht: (2026)

Atomic Gliders and CA as Language Generators (Extended Version)
von: Fisman, Dana, et al.
Veröffentlicht: (2025)

A complete formalization of Fermat's Last Theorem for regular primes in Lean
von: Best, Alex, et al.
Veröffentlicht: (2024)

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
von: Jeppson, Joshua, et al.
Veröffentlicht: (2025)

[Draft] High-order estimation-based properties and high-order observers for labeled finite-state automata
von: Zhang, Kuize, et al.
Veröffentlicht: (2024)

Partial Answer of How Transformers Learn Automata
von: Zhang, Tiantian
Veröffentlicht: (2025)

A General Information Extraction Framework Based on Formal Languages
von: Schmid, Markus L.
Veröffentlicht: (2025)

Backward Responsibility in Transition Systems Using General Power Indices
von: Baier, Christel, et al.
Veröffentlicht: (2024)

Characterizations of Controlled Generation of Right Linear Grammars with Unknown Behaviors
von: Ise, Daihei, et al.
Veröffentlicht: (2024)

Distributional Learning of Graph Languages Generated by Fixed-Interface Clause Systems
von: Shoudai, Takayoshi, et al.
Veröffentlicht: (2026)

Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation
von: Manini, Andrea, et al.
Veröffentlicht: (2025)

Non-interference analysis of bounded labeled Petri nets
von: Ran, Ning, et al.
Veröffentlicht: (2025)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
von: Akshay, S., et al.
Veröffentlicht: (2024)

The Similarity Control Problem with Required Events
von: Wang, Yu, et al.
Veröffentlicht: (2026)

More on Maximally Permissive Similarity Control of Discrete Event Systems
von: Wang, Yu, et al.
Veröffentlicht: (2024)

Kleene Theorem for Higher-Dimensional Automata
von: Fahrenberg, Uli, et al.
Veröffentlicht: (2022)

The No Endmarker Theorem for One-Way Probabilistic Pushdown Automata
von: Yamakami, Tomoyuki
Veröffentlicht: (2021)

V-Star: Learning Visibly Pushdown Grammars from Program Inputs
von: Jia, Xiaodong, et al.
Veröffentlicht: (2024)

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

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

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2026)