Image de couverture de livre

Automating Formal Verification with Reinforcement Learning and Recursive Inference

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Tan, Max
Format:	Preprint
Publié:	2026
Sujets:	Machine Learning Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
par: Sanchez-Stern, Alex, et autres
Publié: (2024)

ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
par: Wei, Tianhao, et autres
Publié: (2024)

DafnyBench: A Benchmark for Formal Software Verification
par: Loughridge, Chloe, et autres
Publié: (2024)

AutoSpec: Automated Generation of Neural Network Specifications
par: Jin, Shuowei, et autres
Publié: (2024)

Automated Trustworthiness Testing for Machine Learning Classifiers
par: Cho, Steven, et autres
Publié: (2024)

Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought
par: Xie, Zichen, et autres
Publié: (2026)

Automated Modernization of Machine Learning Engineering Notebooks for Reproducibility
par: Jin, Bihui, et autres
Publié: (2026)

Prophecy: Inferring Formal Properties from Neuron Activations
par: Gopinath, Divya, et autres
Publié: (2025)

Constrained Adversarial Learning for Automated Software Testing: a literature review
par: Vitorino, João, et autres
Publié: (2023)

Automating the Training and Deployment of Models in MLOps by Integrating Systems with Machine Learning
par: Liang, Penghao, et autres
Publié: (2024)

VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean
par: Xin, Yutong, et autres
Publié: (2026)

RepDL: Bit-level Reproducible Deep Learning Training and Inference
par: Xie, Peichen, et autres
Publié: (2025)

Rule-Guided Reinforcement Learning Policy Evaluation and Improvement
par: Tappler, Martin, et autres
Publié: (2025)

VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
par: Baninajjar, Anahita, et autres
Publié: (2023)

Domain-Adaptable Reinforcement Learning for Code Generation with Dense Rewards
par: Jolfaei, Erfan Aghadavoodi, et autres
Publié: (2026)

Evaluating Reinforcement Learning Safety and Trustworthiness in Cyber-Physical Systems
par: Dearstyne, Katherine, et autres
Publié: (2025)

Automating Benchmark Design
par: Dsouza, Amanda, et autres
Publié: (2025)

Adaptive Reinforcement Learning for Dynamic Configuration Allocation in Pre-Production Testing
par: Zhu, Yu
Publié: (2025)

ReVeal: Self-Evolving Code Agents via Reliable Self-Verification
par: Jin, Yiyang, et autres
Publié: (2025)

Reinforcement Learning from Automatic Feedback for High-Quality Unit Test Generation
par: Steenhoek, Benjamin, et autres
Publié: (2023)

Reinforcement Learning from Automatic Feedback for High-Quality Unit Test Generation
par: Steenhoek, Benjamin, et autres
Publié: (2024)

AgentForge: A Flexible Low-Code Platform for Reinforcement Learning Agent Design
par: Junior, Francisco Erivaldo Fernandes, et autres
Publié: (2024)

FROAV: A Framework for RAG Observation and Agent Verification -- Lowering the Barrier to LLM Agent Research
par: Lin, Tzu-Hsuan, et autres
Publié: (2026)

RLHGNN: Reinforcement Learning-driven Heterogeneous Graph Neural Network for Next Activity Prediction in Business Processes
par: Wang, Jiaxing, et autres
Publié: (2025)

Assessing the Latent Automated Program Repair Capabilities of Large Language Models using Round-Trip Translation
par: Ruiz, Fernando Vallecillos, et autres
Publié: (2024)

The Limits of Long-Context Reasoning in Automated Bug Fixing
par: Raju, Ravi, et autres
Publié: (2026)

EnvBench: A Benchmark for Automated Environment Setup
par: Eliseeva, Aleksandra, et autres
Publié: (2025)

Integrating Large Language Models for Automated Structural Analysis
par: Liang, Haoran, et autres
Publié: (2025)

Automating API Documentation with LLMs: A BERTopic Approach
par: Naghshzan, AmirHossein
Publié: (2025)

CA2: Code-Aware Agent for Automated Game Testing
par: Adaikkappan, Valliappan Chidambaram, et autres
Publié: (2026)

ENCORE: Ensemble Learning using Convolution Neural Machine Translation for Automatic Program Repair
par: Lutellier, Thibaud, et autres
Publié: (2019)

Automating REST API Postman Test Cases Using LLM
par: Sri, S Deepika, et autres
Publié: (2024)

QualiTagger: Automating software quality detection in issue trackers
par: Shivashankar, Karthik, et autres
Publié: (2025)

pyAKI -- An Open Source Solution to Automated KDIGO classification
par: Porschen, Christian, et autres
Publié: (2024)

PrismaDV: Automated Task-Aware Data Unit Test Generation
par: Chen, Hao, et autres
Publié: (2026)

Cataloguing Hugging Face Models to Software Engineering Activities: Automation and Findings
par: González, Alexandra, et autres
Publié: (2025)

Automated Program Repair: Emerging trends pose and expose problems for benchmarks
par: Renzullo, Joseph, et autres
Publié: (2024)

ChIRAAG: ChatGPT Informed Rapid and Automated Assertion Generation
par: Mali, Bhabesh, et autres
Publié: (2024)

LLM-Guided Runtime Parameter Optimization for Energy-Efficient Model Inference
par: Crumpacker, Katelyn, et autres
Publié: (2026)

Pimp My LLM: Leveraging Variability Modeling to Tune Inference Hyperparameters
par: Zine, Nada, et autres
Publié: (2026)