Cover Image

Lemma Discovery in Agentic Program Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhao, Huan, Tu, Haoxin, Liu, Zhengyao, Rinard, Martin, Roychoudhury, Abhik
Format:	Preprint
Published:	2026
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Agentic Verification of Software Systems
by: Tu, Haoxin, et al.
Published: (2025)

Agentic AI for Software: thoughts from Software Engineering community
by: Roychoudhury, Abhik
Published: (2025)

Agentic AI Software Engineers: Programming with Trust
by: Roychoudhury, Abhik, et al.
Published: (2025)

Computation Tree Logic Guided Program Repair
by: Liu, Yu, et al.
Published: (2025)

Program Environment Fuzzing
by: Meng, Ruijie, et al.
Published: (2024)

Agent That Debugs: Dynamic State-Guided Vulnerability Repair
by: Liu, Zhengyao, et al.
Published: (2025)

Will AI replace Software Engineers? Do not hold your breath
by: Roychoudhury, Abhik, et al.
Published: (2025)

Fuzzing: On Benchmarking Outcome as a Function of Benchmark Properties
by: Wolff, Dylan, et al.
Published: (2022)

AutoCodeRover: Autonomous Program Improvement
by: Zhang, Yuntong, et al.
Published: (2024)

Assured Automatic Programming via Large Language Models
by: Mirchev, Martin, et al.
Published: (2024)

SpecRover: Code Intent Extraction via LLMs
by: Ruan, Haifeng, et al.
Published: (2024)

Whose fault is it anyway? SILC: Safe Integration of LLM-Generated Code
by: Lin, Peisen, et al.
Published: (2024)

Codexity: Secure AI-assisted Code Generation
by: Kim, Sung Yong, et al.
Published: (2024)

AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing
by: Meng, Ruijie, et al.
Published: (2024)

Large Language Model assisted Hybrid Fuzzing
by: Meng, Ruijie, et al.
Published: (2024)

AutoCodeSherpa: Symbolic Explanations in AI Coding Agents
by: Kang, Sungmin, et al.
Published: (2025)

Software Engineering Educational Experience in Building an Intelligent Tutoring System
by: Fan, Zhiyu, et al.
Published: (2023)

Automatic Programming: Large Language Models and Beyond
by: Lyu, Michael R., et al.
Published: (2024)

Unified Software Engineering Agent as AI Software Engineer
by: Applis, Leonhard, et al.
Published: (2025)

Isolating Compiler Bugs by Generating Effective Witness Programs with Large Language Models
by: Tu, Haoxin, et al.
Published: (2023)

SE Journals in 2036: Looking Back at the Future We Need to Have
by: Menzies, Tim, et al.
Published: (2026)

Fixing Security Vulnerabilities with AI in OSS-Fuzz
by: Zhang, Yuntong, et al.
Published: (2024)

Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search
by: Tu, Haoxin, et al.
Published: (2024)

Code Review Agent Benchmark
by: Zhang, Yuntong, et al.
Published: (2026)

ProofWright: Towards Agentic Formal Verification of CUDA
by: Chatterjee, Bodhisatwa, et al.
Published: (2025)

Agentic Proving for Program Verification
by: Sosso, Alessandro, et al.
Published: (2026)

Predicting Lemmas in Generalization of IC3
by: Su, Yuheng, et al.
Published: (2024)

Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation
by: Tu, Haoxin, et al.
Published: (2025)

Evaluating the Generalization Capabilities of Large Language Models on Code Reasoning
by: Yang, Rem, et al.
Published: (2025)

Scalable Deductive Verification of Data-Level Parallel Programs
by: Haak, Lars B. van den, et al.
Published: (2026)

C*: Unifying Programming and Verification in C
by: Cao, Yiyuan, et al.
Published: (2025)

DafnyPro: LLM-Assisted Automated Verification for Dafny Programs
by: Banerjee, Debangshu, et al.
Published: (2026)

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
by: Wen, Cheng, et al.
Published: (2024)

EviACT: An Evidence-to-Action Framework for Agentic Program Repair
by: Meng, Qianru, et al.
Published: (2026)

AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
by: Wang, Huanting, et al.
Published: (2025)

Scalable Defect Detection via Traversal on Code Graph
by: Liu, Zhengyao, et al.
Published: (2024)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
by: Ma, Lezhi, et al.
Published: (2026)

Agentic Observability: Automated Alert Triage for Adobe E-Commerce
by: Bharadwaj, Aprameya, et al.
Published: (2026)

Agentic Model Checking
by: Sun, Youcheng, et al.
Published: (2026)

Agentic Services Computing
by: Deng, Shuiguang, et al.
Published: (2025)