Buchumschlag

On Reasoning-Centric LLM-based Automated Theorem Proving

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sun, Yican, Shi, Chengwei, Lyu, Hangzhou, Xiong, Yingfei
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover
von: Fang, Jian, et al.
Veröffentlicht: (2026)

Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving
von: Zheng, Xinyi, et al.
Veröffentlicht: (2025)

GramTrans: A Better Code Representation Approach in Code Generation
von: Zhang, Zhao, et al.
Veröffentlicht: (2025)

LLM-based Vulnerability Detection at Project Scale: An Empirical Study
von: Li, Fengjie, et al.
Veröffentlicht: (2026)

SemOpt: LLM-Driven Code Optimization via Rule-Based Analysis
von: Zhao, Yuwei, et al.
Veröffentlicht: (2025)

A Learning Method for Symbolic Systems Using Large Language Models
von: Fang, Jian, et al.
Veröffentlicht: (2026)

Reducing Cost of LLM Agents with Trajectory Reduction
von: Xiao, Yuan-An, et al.
Veröffentlicht: (2025)

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
von: Huang, Zhechong, et al.
Veröffentlicht: (2026)

VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus
von: Sun, Chuyue, et al.
Veröffentlicht: (2025)

TSGuard: Automated User-Centric Incident Diagnosis for AI Workloads in the Cloud
von: Yang, Yitao, et al.
Veröffentlicht: (2025)

Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
von: Xiao, Yuan-An, et al.
Veröffentlicht: (2023)

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language
von: Bouras, Dimitrios Stamatios, et al.
Veröffentlicht: (2025)

HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
von: Hu, Jilin, et al.
Veröffentlicht: (2025)

Line-level Semantic Structure Learning for Code Vulnerability Detection
von: Wang, Ziliang, et al.
Veröffentlicht: (2024)

PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
von: Xiao, Yuan-An, et al.
Veröffentlicht: (2025)

Proving Cypher Query Equivalence
von: Tang, Lei, et al.
Veröffentlicht: (2025)

LUNAR: Unsupervised LLM-based Log Parsing
von: Huang, Junjie, et al.
Veröffentlicht: (2024)

Effective Random Test Generation for Deep Learning Compilers
von: Ren, Luyao, et al.
Veröffentlicht: (2023)

Validity-Preserving Delta Debugging via Generator Trace Reduction
von: Ren, Luyao, et al.
Veröffentlicht: (2024)

M2CVD: Enhancing Vulnerability Semantic through Multi-Model Collaboration for Code Vulnerability Detection
von: Wang, Ziliang, et al.
Veröffentlicht: (2024)

Assessing the Robustness of LLM-based NLP Software via Automated Testing
von: Xiao, Mingxuan, et al.
Veröffentlicht: (2024)

A Case Study of LLM for Automated Vulnerability Repair: Assessing Impact of Reasoning and Patch Validation Feedback
von: Kulsum, Ummay, et al.
Veröffentlicht: (2024)

Understanding LLM-Centric Challenges for Deep Learning Frameworks: An Empirical Analysis
von: Mu, Yanzhou, et al.
Veröffentlicht: (2025)

Bridging Expert Reasoning and LLM Detection: A Knowledge-Driven Framework for Malicious Packages
von: Guo, Wenbo, et al.
Veröffentlicht: (2026)

DebugRepair: Enhancing LLM-Based Automated Program Repair via Self-Directed Debugging
von: Wu, Linhao, et al.
Veröffentlicht: (2026)

Evaluating and Improving Automated Repository-Level Rust Issue Resolution with LLM-based Agents
von: Xiang, Jiahong, et al.
Veröffentlicht: (2026)

A Survey of LLM-based Automated Program Repair: Taxonomies, Design Paradigms, and Applications
von: Yang, Boyang, et al.
Veröffentlicht: (2025)

Benchmarking and Studying the LLM-based Code Review
von: Zeng, Zhengran, et al.
Veröffentlicht: (2025)

Lyra: A Benchmark for Turducken-Style Code Generation
von: Liang, Qingyuan, et al.
Veröffentlicht: (2021)

SmartFL: Semantics Based Probabilistic Fault Localization
von: Wu, Yiqian, et al.
Veröffentlicht: (2025)

LLM Agents for Automated Dependency Upgrades
von: Tawosi, Vali, et al.
Veröffentlicht: (2025)

Survey of LLM Agent Communication with MCP: A Software Design Pattern Centric Review
von: Sarkar, Anjana, et al.
Veröffentlicht: (2025)

Multi-LLM Collaboration + Data-Centric Innovation = 2x Better Vulnerability Repair
von: Zhou, Xin, et al.
Veröffentlicht: (2024)

Execution-State-Aware LLM Reasoning for Automated Proof-of-Vulnerability Generation
von: Li, Haoyu, et al.
Veröffentlicht: (2026)

Vul-R2: A Reasoning LLM for Automated Vulnerability Repair
von: Wen, Xin-Cheng, et al.
Veröffentlicht: (2025)

Patch Validation in Automated Vulnerability Repair
von: Yu, Zheng, et al.
Veröffentlicht: (2026)

Trae Agent: An LLM-based Agent for Software Engineering with Test-time Scaling
von: Trae Research Team, et al.
Veröffentlicht: (2025)

BASFuzz: Towards Robustness Evaluation of LLM-based NLP Software via Automated Fuzz Testing
von: Xiao, Mingxuan, et al.
Veröffentlicht: (2025)

Empirical Research on Utilizing LLM-based Agents for Automated Bug Fixing via LangGraph
von: Wang, Jialin, et al.
Veröffentlicht: (2025)

BitsAI-CR: Automated Code Review via LLM in Practice
von: Sun, Tao, et al.
Veröffentlicht: (2025)