Imagen de Portada

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Li, Zenan, Yang, Ziran, He, Deyuan, Zhao, Haoyu, Zhao, Andrew, Tang, Shange, Yang, Kaiyu, Gupta, Aarti, Su, Zhendong, Jin, Chi
Formato:	Preprint
Publicado:	2026
Materias:	Software Engineering Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms
por: Zhao, Haoyu, et al.
Publicado: (2026)

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
por: Lin, Yong, et al.
Publicado: (2025)

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
por: Lin, Yong, et al.
Publicado: (2025)

Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover
por: Chung, Jui-Hui, et al.
Publicado: (2026)

CodeCircuit: Toward Inferring LLM-Generated Code Correctness via Attribution Graphs
por: He, Yicheng, et al.
Publicado: (2026)

Finding Performance Issues in Database Systems by Exploiting Dormant Code Paths
por: Ba, Jinsheng, et al.
Publicado: (2026)

Open Source Prover in the Attic
por: Kovács, Zoltán, et al.
Publicado: (2024)

Tracking the Evolution of Static Code Warnings: the State-of-the-Art and a Better Approach
por: Li, Junjie, et al.
Publicado: (2022)

CodeHalu: Investigating Code Hallucinations in LLMs via Execution-based Verification
por: Tian, Yuchen, et al.
Publicado: (2024)

CodeImprove: Program Adaptation for Deep Code Models
por: Rathnasuriya, Ravishka, et al.
Publicado: (2025)

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
por: Liu, Yuwei, et al.
Publicado: (2026)

Code Review Automation: Strengths and Weaknesses of the State of the Art
por: Tufano, Rosalia, et al.
Publicado: (2024)

Issue Retrieval and Verification Enhanced Supplementary Code Comment Generation
por: Zou, Yanzhen, et al.
Publicado: (2025)

MACAA: Belief-Revision Multi-Agent Reasoning for Code Authorship Verification
por: Ye, Jingwei, et al.
Publicado: (2026)

HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
por: Hu, Jilin, et al.
Publicado: (2025)

Beyond Function-Level Search: Repository-Aware Dual-Encoder Code Retrieval with Adversarial Verification
por: Liu, Aofan, et al.
Publicado: (2025)

GRACE: Graph-Guided Repository-Aware Code Completion through Hierarchical Code Fusion
por: Wang, Xingliang, et al.
Publicado: (2025)

API-guided Dataset Synthesis to Finetune Large Code Models
por: Li, Zongjie, et al.
Publicado: (2024)

Holistic Evaluation of State-of-the-Art LLMs for Code Generation
por: Zhang, Le, et al.
Publicado: (2025)

Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems
por: Zhang, Jianyu, et al.
Publicado: (2024)

Computer Science Achievement and Writing Skills Predict Vibe Coding Proficiency
por: Thorgeirsson, Sverrir, et al.
Publicado: (2026)

CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking
por: Su, Zian, et al.
Publicado: (2024)

Models Are Codes: Towards Measuring Malicious Code Poisoning Attacks on Pre-trained Model Hubs
por: Zhao, Jian, et al.
Publicado: (2024)

Bridging Design and Development with Automated Declarative UI Code Generation
por: Zhou, Ting, et al.
Publicado: (2024)

ArkTS-CodeSearch: A Open-Source ArkTS Dataset for Code Retrieval
por: He, Yulong, et al.
Publicado: (2026)

A Unit Proofing Framework for Code-level Verification: A Research Agenda
por: Amusuo, Paschal C., et al.
Publicado: (2024)

Automated Proof Generation for Rust Code via Self-Evolution
por: Chen, Tianyu, et al.
Publicado: (2024)

CodeMorph: Mitigating Data Leakage in Large Language Model Assessment
por: Rao, Hongzhou, et al.
Publicado: (2025)

From Charts to Code: A Hierarchical Benchmark for Multimodal Models
por: Tang, Jiahao, et al.
Publicado: (2025)

LLMs in Code Vulnerability Analysis: A Proof of Concept
por: Sultana, Shaznin, et al.
Publicado: (2026)

DeepCode: Open Agentic Coding
por: Li, Zongwei, et al.
Publicado: (2025)

CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph
por: Xu, Hanxiang, et al.
Publicado: (2024)

Unveiling Memorization in Code Models
por: Yang, Zhou, et al.
Publicado: (2023)

OpenGame: Open Agentic Coding for Games
por: Jiang, Yilei, et al.
Publicado: (2026)

VerifyThisBench: Generating Code, Specifications, and Proofs All at Once
por: Deng, Xun, et al.
Publicado: (2025)

How Agentic AI Coding Assistants Become the Attacker's Shell
por: Liu, Yue, et al.
Publicado: (2026)

Code vs Serialized AST Inputs for LLM-Based Code Summarization: An Empirical Study
por: Dong, Shijia, et al.
Publicado: (2026)

AutoVerus: Automated Proof Generation for Rust Code
por: Yang, Chenyuan, et al.
Publicado: (2024)

Dissect-and-Restore: AI-based Code Verification with Transient Refactoring
por: Wang, Changjie, et al.
Publicado: (2025)

Coding-PTMs: How to Find Optimal Code Pre-trained Models for Code Embedding in Vulnerability Detection?
por: Zhao, Yu, et al.
Publicado: (2024)