:: Library Catalog

Slika omota

Spremljeno u:

Bibliografski detalji
Glavni autori:	Wen, Yeming, Yin, Pengcheng, Shi, Kensen, Michalewski, Henryk, Chaudhuri, Swarat, Polozov, Alex
Format:	Preprint
Izdano:	2024
Teme:	Machine Learning Programming Languages Software Engineering
Online pristup:	https://arxiv.org/abs/2402.08073
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

Slični predmeti

NExT: Teaching Large Language Models to Reason about Code Execution
od: Ni, Ansong, i dr.
Izdano: (2024)

CLEVER: A Curated Benchmark for Formally Verified Code Generation
od: Thakur, Amitayush, i dr.
Izdano: (2025)

MIO: Multiverse Debugging in the Face of Input/Output -- Extended Version with Additional Appendices
od: Lauwaerts, Tom, i dr.
Izdano: (2025)

Batched Low-Rank Adaptation of Foundation Models
od: Wen, Yeming, i dr.
Izdano: (2023)

SwiftEval: Developing a Language-Specific Benchmark for LLM-generated Code Evaluation
od: Petrukha, Ivan, i dr.
Izdano: (2025)

MonoCoder: Domain-Specific Code Language Model for HPC Codes and Tasks
od: Kadosh, Tal, i dr.
Izdano: (2023)

Correctness-Guaranteed Code Generation via Constrained Decoding
od: Li, Lingxiao, i dr.
Izdano: (2025)

FronTalk: Benchmarking Front-End Development as Conversational Code Generation with Multi-Modal Feedback
od: Wu, Xueqing, i dr.
Izdano: (2025)

SIMCOPILOT: Evaluating Large Language Models for Copilot-Style Code Generation
od: Jiang, Mingchao, i dr.
Izdano: (2025)

Large Language Models for Multilingual Code Intelligence: A Survey
od: Jiang, Chao, i dr.
Izdano: (2026)

Input-Gen: Guided Generation of Stateful Inputs for Testing, Tuning, and Training
od: Ivanov, Ivan R., i dr.
Izdano: (2024)

FormulaCode: Evaluating Agentic Optimization on Large Codebases
od: Sehgal, Atharva, i dr.
Izdano: (2026)

Automatically Testing Functional Properties of Code Translation Models
od: Eniser, Hasan Ferit, i dr.
Izdano: (2023)

Language Models for Code Completion: A Practical Evaluation
od: Izadi, Maliheh, i dr.
Izdano: (2024)

Finding Missed Code Size Optimizations in Compilers using LLMs
od: Italiano, Davide, i dr.
Izdano: (2024)

Top Leaderboard Ranking = Top Coding Proficiency, Always? EvoEval: Evolving Coding Benchmarks via LLM
od: Xia, Chunqiu Steven, i dr.
Izdano: (2024)

Coeditor: Leveraging Contextual Changes for Multi-round Code Auto-editing
od: Wei, Jiayi, i dr.
Izdano: (2023)

SynCode: LLM Generation with Grammar Augmentation
od: Ugare, Shubham, i dr.
Izdano: (2024)

Neural Models for Source Code Synthesis and Completion
od: Niyogi, Mitodru
Izdano: (2024)

GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
od: Kashmira, Savini, i dr.
Izdano: (2025)

Anka: A Domain-Specific Language for Reliable LLM Code Generation
od: Mazrouei, Saif Khalfan Saif Al
Izdano: (2025)

MLCPD: A Unified Multi-Language Code Parsing Dataset with Universal AST Schema
od: Gajjar, Jugal, i dr.
Izdano: (2025)

A Multi-Perspective Architecture for Semantic Code Search
od: Haldar, Rajarshi, i dr.
Izdano: (2020)

Pareto Optimal Code Generation
od: Orlanski, Gabriel, i dr.
Izdano: (2025)

Incoherence as Oracle-less Measure of Error in LLM-Based Code Generation
od: Valentin, Thomas, i dr.
Izdano: (2025)

Constrained Decoding for Fill-in-the-Middle Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars
od: Melcer, Daniel, i dr.
Izdano: (2024)

A Multi-Expert Large Language Model Architecture for Verilog Code Generation
od: Nadimi, Bardia, i dr.
Izdano: (2024)

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
od: Sanchez-Stern, Alex, i dr.
Izdano: (2024)

Automated Code Editing with Search-Generate-Modify
od: Liu, Changshu, i dr.
Izdano: (2023)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
od: Xie, Xiaoheng, i dr.
Izdano: (2024)

Beyond Code Pairs: Dialogue-Based Data Generation for LLM Code Translation
od: Chen, Le, i dr.
Izdano: (2025)

Linguacodus: A Synergistic Framework for Transformative Code Generation in Machine Learning Pipelines
od: Trofimova, Ekaterina, i dr.
Izdano: (2024)

JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models
od: Cao, Jialun, i dr.
Izdano: (2024)

Python Symbolic Execution with LLM-powered Code Generation
od: Wang, Wenhan, i dr.
Izdano: (2024)

From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical Debugging
od: Shi, Yuling, i dr.
Izdano: (2024)

Verify Before You Fix: Agentic Execution Grounding for Trustworthy Cross-Language Code Analysis
od: Gajjar, Jugal
Izdano: (2026)

RacerF: Lightweight Static Data Race Detection for C Code
od: Dacík, Tomáš, i dr.
Izdano: (2025)

Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
od: Feng, Rong, i dr.
Izdano: (2025)

CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems
od: Odyurt, Uraz, i dr.
Izdano: (2025)

Do Large Code Models Understand Programming Concepts? Counterfactual Analysis for Code Predicates
od: Hooda, Ashish, i dr.
Izdano: (2024)