Copertina

FormalAlign: Automated Alignment Evaluation for Autoformalization

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Lu, Jianqiao, Wan, Yingjia, Huang, Yinya, Xiong, Jing, Liu, Zhengying, Guo, Zhijiang
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Computation and Language Artificial Intelligence Formal Languages and Automata Theory Machine Learning
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
di: Huang, Yinya, et al.
Pubblicazione: (2024)

In System Alignments we Trust! Explainable Alignments via Projections
di: Sommers, Dominique, et al.
Pubblicazione: (2025)

Consistent Autoformalization for Constructing Mathematical Libraries
di: Zhang, Lan, et al.
Pubblicazione: (2024)

Towards Autoformalization of LLM-generated Outputs for Requirement Verification
di: Gupte, Mihir, et al.
Pubblicazione: (2025)

MASA: LLM-Driven Multi-Agent Systems for Autoformalization
di: Zhang, Lan, et al.
Pubblicazione: (2025)

Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
di: Zhang, Lan, et al.
Pubblicazione: (2025)

RegexPSPACE: A Benchmark for Evaluating LLM Reasoning on PSPACE-complete Regex Problems
di: Jin, Hyundong, et al.
Pubblicazione: (2025)

Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs
di: Zhang, Shuhang, et al.
Pubblicazione: (2025)

Fine-Tuning Language Models Using Formal Methods Feedback
di: Yang, Yunhao, et al.
Pubblicazione: (2023)

Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
di: Li, Zelong, et al.
Pubblicazione: (2024)

Formal Verification of Noisy Quantum Reinforcement Learning Policies
di: Gross, Dennis
Pubblicazione: (2025)

Learning Formal Specifications from Membership and Preference Queries
di: Shah, Ameesh, et al.
Pubblicazione: (2023)

Hilbert: Recursively Building Formal Proofs with Informal Reasoning
di: Varambally, Sumanth, et al.
Pubblicazione: (2025)

AutoVerus: Automated Proof Generation for Rust Code
di: Yang, Chenyuan, et al.
Pubblicazione: (2024)

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification
di: Yao, Zhen, et al.
Pubblicazione: (2025)

BEAVER: An Efficient Deterministic LLM Verifier
di: Suresh, Tarun, et al.
Pubblicazione: (2025)

Stochastic Directly-Follows Process Discovery Using Grammatical Inference
di: Alkhammash, Hanan, et al.
Pubblicazione: (2023)

HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs
di: Ospanov, Azim, et al.
Pubblicazione: (2025)

Inference of Deterministic Finite Automata via Q-Learning
di: Hosseinkhani, Elaheh, et al.
Pubblicazione: (2025)

LLMs as Probabilistic Minimally Adequate Teachers for DFA Learning
di: Chen, Lekai, et al.
Pubblicazione: (2024)

Congruence-based Learning of Probabilistic Deterministic Finite Automata
di: Carrasco, Matías, et al.
Pubblicazione: (2024)

Large Language Models and the Extended Church-Turing Thesis
di: Wiedermann, Jiří, et al.
Pubblicazione: (2024)

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts
di: Wang, Ruida, et al.
Pubblicazione: (2024)

Mechanics of Learned Reasoning 1: TempoBench, A Benchmark for Interpretable Deconstruction of Reasoning System Performance
di: Holzer, Nikolaus, et al.
Pubblicazione: (2025)

Finding path and cycle counting formulae in graphs with Deep Reinforcement Learning
di: Piquenot, Jason, et al.
Pubblicazione: (2024)

Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception
di: Yang, Yunhao, et al.
Pubblicazione: (2023)

Foundation Models for Logistics: Toward Certifiable, Conversational Planning Interfaces
di: Yang, Yunhao, et al.
Pubblicazione: (2025)

Are Agents Probabilistic Automata? A Trace-Based, Memory-Constrained Theory of Agentic AI
di: Koohestani, Roham, et al.
Pubblicazione: (2025)

Computing the Reachability Value of Posterior-Deterministic POMDPs
di: Fijalkow, Nathanaël, et al.
Pubblicazione: (2026)

On Synthesis of Timed Regular Expressions
di: Wang, Ziran, et al.
Pubblicazione: (2025)

Logic-Gated Time-Shared Feedforward Networks for Alternating Finite Automata: Exact Simulation and Learnability
di: Dhayalkar, Sahil Rajesh
Pubblicazione: (2026)

ToolGate: Contract-Grounded and Verified Tool Execution for LLMs
di: Liu, Yanming, et al.
Pubblicazione: (2026)

WEX: Formal Specifications for Windows in Stream Processing
di: Hitarth, S, et al.
Pubblicazione: (2022)

A Formal Approach for Tuning Stochastic Oscillators
di: Ballarini, Paolo, et al.
Pubblicazione: (2024)

Closure Properties of General Grammars -- Formally Verified
di: Dvorak, Martin, et al.
Pubblicazione: (2023)

SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification
di: Klopfenstein, Rocky, et al.
Pubblicazione: (2025)

Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
di: Luo, Xusheng, et al.
Pubblicazione: (2024)

A General Information Extraction Framework Based on Formal Languages
di: Schmid, Markus L.
Pubblicazione: (2025)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
di: Kan, Shuanglong, et al.
Pubblicazione: (2025)

Formalized Run-Time Analysis of Active Learning -- Coalgebraically in Agda
di: Wißmann, Thorsten
Pubblicazione: (2026)