Buchumschlag

Laurel: Unblocking Automated Verification with Large Language Models

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Mugnier, Eric, Gonzalez, Emmanuel Anaya, Jhala, Ranjit, Polikarpova, Nadia, Zhou, Yuanyuan
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis
von: Heuer, Jan
Veröffentlicht: (2023)

Lemur: Integrating Large Language Models in Automated Program Verification
von: Wu, Haoze, et al.
Veröffentlicht: (2023)

Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems
von: Ferrando, Angelo
Veröffentlicht: (2025)

Large Language Model for OWL Proofs
von: Yang, Hui, et al.
Veröffentlicht: (2026)

Can Large Language Models Autoformalize Kinematics?
von: Kabra, Aditi, et al.
Veröffentlicht: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
von: Xu, Yang, et al.
Veröffentlicht: (2025)

Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
von: Kasibatla, Saketh Ram, et al.
Veröffentlicht: (2024)

Large Language Models for Interpretable Mental Health Diagnosis
von: Kim, Brian Hyeongseok, et al.
Veröffentlicht: (2025)

interwhen: A Generalizable Framework for Steering Reasoning Models with Test-time Verification
von: Bhat, Vishak K, et al.
Veröffentlicht: (2026)

Enriching Ontologies with Disjointness Axioms using Large Language Models
von: Crum, Elias, et al.
Veröffentlicht: (2024)

Large Language Models Imitate Logical Reasoning, but at what Cost?
von: McGinness, Lachlan, et al.
Veröffentlicht: (2025)

TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge
von: Khalil, Khurram, et al.
Veröffentlicht: (2025)

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
von: Orvalho, Pedro, et al.
Veröffentlicht: (2026)

Why Cannot Large Language Models Ever Make True Correct Reasoning?
von: Cheng, Jingde
Veröffentlicht: (2025)

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
von: Zang, Zhengqing, et al.
Veröffentlicht: (2026)

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
von: Gonzalez, Salwa Tabet, et al.
Veröffentlicht: (2024)

Incremental Neural Network Verification via Learned Conflicts
von: Elsaleh, Raya, et al.
Veröffentlicht: (2026)

Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration
von: Sebastiani, Roberto
Veröffentlicht: (2025)

An Information-Flow Perspective on Explainability Requirements: Specification and Verification
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2025)

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
von: Yubeaton, Patrick, et al.
Veröffentlicht: (2025)

Complete first-order reasoning for functional programs
von: Murali, Adithya, et al.
Veröffentlicht: (2026)

Neural Network Verification using Partial Multi-Neuron Relaxation
von: Shmuel, Ido, et al.
Veröffentlicht: (2026)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
von: Elboher, Yizhak Yisrael, et al.
Veröffentlicht: (2025)

BayesL: a Logical Framework for the Verification of Bayesian Networks
von: Nicoletti, Stefano M., et al.
Veröffentlicht: (2025)

Formal Reasoning About Confidence and Automated Verification of Neural Networks
von: Afzal, Mohammad, et al.
Veröffentlicht: (2025)

Automated Process Planning Based on a Semantic Capability Model and SMT
von: Köcher, Aljosha, et al.
Veröffentlicht: (2023)

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
von: Shea-Blymyer, Colin, et al.
Veröffentlicht: (2024)

Generics and Default Reasoning in Large Language Models
von: Kirkpatrick, James Ravi, et al.
Veröffentlicht: (2025)

A Neurosymbolic Approach to Natural Language Formalization and Verification
von: Bayless, Sam, et al.
Veröffentlicht: (2025)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
von: Akshay, S., et al.
Veröffentlicht: (2024)

ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
von: Chen, Chen, et al.
Veröffentlicht: (2025)

Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
von: Ramani, Keshav, et al.
Veröffentlicht: (2025)

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
von: Miya, Shinobu
Veröffentlicht: (2025)

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
von: Rehan, Zainab, et al.
Veröffentlicht: (2026)

Pragmatic Formal Verification of Sequential Error Detection and Correction Codes (ECCs) used in Safety-Critical Design
von: Kumar, Aman
Veröffentlicht: (2024)

Partial Label Learning for Automated Theorem Proving
von: Zombori, Zsolt, et al.
Veröffentlicht: (2025)

Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study
von: Wang, Keyu, et al.
Veröffentlicht: (2024)

Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification
von: Singh, Vikash, et al.
Veröffentlicht: (2026)

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
von: Beiser, Alexander, et al.
Veröffentlicht: (2025)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
von: Ospanov, Azim, et al.
Veröffentlicht: (2025)