Buchumschlag

Automating Formal Verification with Reinforcement Learning and Recursive Inference

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Tan, Max
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Machine Learning Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
von: Sanchez-Stern, Alex, et al.
Veröffentlicht: (2024)

ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
von: Wei, Tianhao, et al.
Veröffentlicht: (2024)

DafnyBench: A Benchmark for Formal Software Verification
von: Loughridge, Chloe, et al.
Veröffentlicht: (2024)

AutoSpec: Automated Generation of Neural Network Specifications
von: Jin, Shuowei, et al.
Veröffentlicht: (2024)

Automated Trustworthiness Testing for Machine Learning Classifiers
von: Cho, Steven, et al.
Veröffentlicht: (2024)

Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought
von: Xie, Zichen, et al.
Veröffentlicht: (2026)

Automated Modernization of Machine Learning Engineering Notebooks for Reproducibility
von: Jin, Bihui, et al.
Veröffentlicht: (2026)

Prophecy: Inferring Formal Properties from Neuron Activations
von: Gopinath, Divya, et al.
Veröffentlicht: (2025)

Constrained Adversarial Learning for Automated Software Testing: a literature review
von: Vitorino, João, et al.
Veröffentlicht: (2023)

Automating the Training and Deployment of Models in MLOps by Integrating Systems with Machine Learning
von: Liang, Penghao, et al.
Veröffentlicht: (2024)

VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean
von: Xin, Yutong, et al.
Veröffentlicht: (2026)

RepDL: Bit-level Reproducible Deep Learning Training and Inference
von: Xie, Peichen, et al.
Veröffentlicht: (2025)

Rule-Guided Reinforcement Learning Policy Evaluation and Improvement
von: Tappler, Martin, et al.
Veröffentlicht: (2025)

VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
von: Baninajjar, Anahita, et al.
Veröffentlicht: (2023)

Domain-Adaptable Reinforcement Learning for Code Generation with Dense Rewards
von: Jolfaei, Erfan Aghadavoodi, et al.
Veröffentlicht: (2026)

Evaluating Reinforcement Learning Safety and Trustworthiness in Cyber-Physical Systems
von: Dearstyne, Katherine, et al.
Veröffentlicht: (2025)

Automating Benchmark Design
von: Dsouza, Amanda, et al.
Veröffentlicht: (2025)

Adaptive Reinforcement Learning for Dynamic Configuration Allocation in Pre-Production Testing
von: Zhu, Yu
Veröffentlicht: (2025)

ReVeal: Self-Evolving Code Agents via Reliable Self-Verification
von: Jin, Yiyang, et al.
Veröffentlicht: (2025)

Reinforcement Learning from Automatic Feedback for High-Quality Unit Test Generation
von: Steenhoek, Benjamin, et al.
Veröffentlicht: (2023)

Reinforcement Learning from Automatic Feedback for High-Quality Unit Test Generation
von: Steenhoek, Benjamin, et al.
Veröffentlicht: (2024)

AgentForge: A Flexible Low-Code Platform for Reinforcement Learning Agent Design
von: Junior, Francisco Erivaldo Fernandes, et al.
Veröffentlicht: (2024)

FROAV: A Framework for RAG Observation and Agent Verification -- Lowering the Barrier to LLM Agent Research
von: Lin, Tzu-Hsuan, et al.
Veröffentlicht: (2026)

RLHGNN: Reinforcement Learning-driven Heterogeneous Graph Neural Network for Next Activity Prediction in Business Processes
von: Wang, Jiaxing, et al.
Veröffentlicht: (2025)

Assessing the Latent Automated Program Repair Capabilities of Large Language Models using Round-Trip Translation
von: Ruiz, Fernando Vallecillos, et al.
Veröffentlicht: (2024)

The Limits of Long-Context Reasoning in Automated Bug Fixing
von: Raju, Ravi, et al.
Veröffentlicht: (2026)

EnvBench: A Benchmark for Automated Environment Setup
von: Eliseeva, Aleksandra, et al.
Veröffentlicht: (2025)

Integrating Large Language Models for Automated Structural Analysis
von: Liang, Haoran, et al.
Veröffentlicht: (2025)

Automating API Documentation with LLMs: A BERTopic Approach
von: Naghshzan, AmirHossein
Veröffentlicht: (2025)

CA2: Code-Aware Agent for Automated Game Testing
von: Adaikkappan, Valliappan Chidambaram, et al.
Veröffentlicht: (2026)

ENCORE: Ensemble Learning using Convolution Neural Machine Translation for Automatic Program Repair
von: Lutellier, Thibaud, et al.
Veröffentlicht: (2019)

Automating REST API Postman Test Cases Using LLM
von: Sri, S Deepika, et al.
Veröffentlicht: (2024)

QualiTagger: Automating software quality detection in issue trackers
von: Shivashankar, Karthik, et al.
Veröffentlicht: (2025)

pyAKI -- An Open Source Solution to Automated KDIGO classification
von: Porschen, Christian, et al.
Veröffentlicht: (2024)

PrismaDV: Automated Task-Aware Data Unit Test Generation
von: Chen, Hao, et al.
Veröffentlicht: (2026)

Cataloguing Hugging Face Models to Software Engineering Activities: Automation and Findings
von: González, Alexandra, et al.
Veröffentlicht: (2025)

Automated Program Repair: Emerging trends pose and expose problems for benchmarks
von: Renzullo, Joseph, et al.
Veröffentlicht: (2024)

ChIRAAG: ChatGPT Informed Rapid and Automated Assertion Generation
von: Mali, Bhabesh, et al.
Veröffentlicht: (2024)

LLM-Guided Runtime Parameter Optimization for Energy-Efficient Model Inference
von: Crumpacker, Katelyn, et al.
Veröffentlicht: (2026)

Pimp My LLM: Leveraging Variability Modeling to Tune Inference Hyperparameters
von: Zine, Nada, et al.
Veröffentlicht: (2026)