Imagen de Portada

WybeCoder: Verified Imperative Code Generation

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Gloeckle, Fabian, Baksys, Mantas, Feher, Darius, Zheng, Kunhao, Hayat, Amaury, Holden, Sean B., Synnaeve, Gabriel, O'Hearn, Peter
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

ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis
por: Baksys, Mantas, et al.
Publicado: (2025)

Harden and Catch for Just-in-Time Assured LLM-Based Software Testing: Open Research Challenges
por: Harman, Mark, et al.
Publicado: (2025)

TestGenEval: A Real World Unit Test Generation and Test Completion Benchmark
por: Jain, Kush, et al.
Publicado: (2024)

SparseCoder: Identifier-Aware Sparse Transformer for File-Level Code Summarization
por: Wang, Yanlin, et al.
Publicado: (2024)

Code Linting using Language Models
por: Holden, Darren, et al.
Publicado: (2024)

Non-Termination Proving: 100 Million LoC and Beyond
por: Vanegue, Julien, et al.
Publicado: (2025)

ConceptCoder: Improve Code Reasoning via Concept Learning
por: Rahman, Md Mahbubur, et al.
Publicado: (2026)

PlayCoder: Making LLM-Generated GUI Code Playable
por: Peng, Zhiyuan, et al.
Publicado: (2026)

SynthCoder: A Synthetical Strategy to Tune LLMs for Code Completion
por: Yu, Dongjun, et al.
Publicado: (2025)

ExeCoder: Empowering Large Language Models with Executability Representation for Code Translation
por: He, Minghua, et al.
Publicado: (2025)

ZeroCoder: Can LLMs Improve Code Generation Without Ground-Truth Supervision?
por: Fan, Lishui, et al.
Publicado: (2026)

AdaCoder: An Adaptive Planning and Multi-Agent Framework for Function-Level Code Generation
por: Zhu, Yueheng, et al.
Publicado: (2025)

SparseCoder: Advancing Source Code Analysis with Sparse Attention and Learned Token Pruning
por: Yang, Xueqi, et al.
Publicado: (2023)

CoderEval: A Benchmark of Pragmatic Code Generation with Generative Pre-trained Models
por: Yu, Hao, et al.
Publicado: (2023)

Seed-Coder: Let the Code Model Curate Data for Itself
por: Seed, ByteDance, et al.
Publicado: (2025)

StructCoder: Structure-Aware Transformer for Code Generation
por: Tipirneni, Sindhu, et al.
Publicado: (2022)

o1-Coder: an o1 Replication for Coding
por: Zhang, Yuxiang, et al.
Publicado: (2024)

BabelCoder: Agentic Code Translation with Specification Alignment
por: Rabbi, Fazle, et al.
Publicado: (2025)

AlignCoder: Aligning Retrieval with Target Intent for Repository-Level Code Completion
por: Jiang, Tianyue, et al.
Publicado: (2026)

GraphCoder: Enhancing Repository-Level Code Completion via Code Context Graph-based Retrieval and Language Model
por: Liu, Wei, et al.
Publicado: (2024)

DesignCoder: Hierarchy-Aware and Self-Correcting UI Code Generation with Large Language Models
por: Chen, Yunnong, et al.
Publicado: (2025)

InCoder-32B: Code Foundation Model for Industrial Scenarios
por: Yang, Jian, et al.
Publicado: (2026)

MaintainCoder: Maintainable Code Generation Under Dynamic Requirements
por: Wang, Zhengren, et al.
Publicado: (2025)

FairCoder: Evaluating Social Bias of LLMs in Code Generation
por: Du, Yongkang, et al.
Publicado: (2025)

CodeDPO: Aligning Code Models with Self Generated and Verified Source Code
por: Zhang, Kechi, et al.
Publicado: (2024)

StepCoder: Improve Code Generation with Reinforcement Learning from Compiler Feedback
por: Dou, Shihan, et al.
Publicado: (2024)

ExecVerify: White-Box RL with Verifiable Stepwise Rewards for Code Execution Reasoning
por: Tang, Lingxiao, et al.
Publicado: (2026)

VisualCoder: Guiding Large Language Models in Code Execution with Fine-grained Multimodal Chain-of-Thought Reasoning
por: Le, Cuong Chi, et al.
Publicado: (2024)

GNN-Coder: Boosting Semantic Code Retrieval with Combined GNNs and Transformer
por: Ye, Yufan, et al.
Publicado: (2025)

UnitCoder: Scalable Iterative Code Synthesis with Unit Test Guidance
por: Ma, Yichuan, et al.
Publicado: (2025)

RedCoder: Automated Multi-Turn Red Teaming for Code LLMs
por: Mo, Wenjie Jacky, et al.
Publicado: (2025)

InstructCoder: Instruction Tuning Large Language Models for Code Editing
por: Li, Kaixin, et al.
Publicado: (2023)

PerfCoder: Large Language Models for Interpretable Code Performance Optimization
por: Yang, Jiuding, et al.
Publicado: (2025)

AP2O-Coder: Adaptively Progressive Preference Optimization for Reducing Compilation and Runtime Errors in LLM-Generated Code
por: Zhang, Jianqing, et al.
Publicado: (2025)

CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution
por: Gu, Alex, et al.
Publicado: (2024)

AutoCoder: Enhancing Code Large Language Model with \textsc{AIEV-Instruct}
por: Lei, Bin, et al.
Publicado: (2024)

CollabCoder: Plan-Code Co-Evolution via Collaborative Decision-Making for Efficient Code Generation
por: Doan, Duy Tung, et al.
Publicado: (2026)

The KoLMogorov Test: Compression by Code Generation
por: Yoran, Ori, et al.
Publicado: (2025)

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

FastCoder: Accelerating Repository-level Code Generation via Efficient Retrieval and Verification
por: Zhao, Qianhui, et al.
Publicado: (2025)