conftrace_

code synthesis

14 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (9) code generation (7) language model (3) program synthesis (3) unit testing (2) benchmark evaluation (2) reinforcement learning (2) model-based agent (1) sample-efficient learning (1) program generation (1)

Papers

Towards Trustworthy Smart Contract Synthesis: A Multi-Agent Framework with Lean-Based Verification ACL 2026 Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference ACL 2025 JU_NLP at BLP-2025 Task 2: Leveraging Zero-Shot Prompting for Bangla Natural Language to Python Code Generation AACL 2025 LMR-BENCH: Evaluating LLM Agent’s Ability on Reproducing Language Modeling Research EMNLP 2025 RLEF: Grounding Code LLMs in Execution Feedback with Reinforcement Learning ICML 2025 SynFix: Dependency-Aware Program Repair via RelationGraph Analysis ACL 2025 Training Language Models on Synthetic Edit Sequences Improves Code Synthesis ICLR 2025 UnitCoder: Scalable Code Synthesis from Pre-training Corpora EMNLP 2025 A Real-World WebAgent with Planning, Long Context Understanding, and Program Synthesis ICLR 2024 BizBench: A Quantitative Reasoning Benchmark for Business and Finance ACL 2024 Unsupervised Evaluation of Code LLMs with Round-Trip Correctness ICML 2024 WorldCoder, a Model-Based LLM Agent: Building World Models by Writing Code and Interacting with the Environment NeurIPS 2024 Automatic Unit Test Data Generation and Actor-Critic Reinforcement Learning for Code Synthesis EMNLP 2023 Programming in Natural Language with fuSE: Synthesizing Methods from Spoken Utterances Using Deep Natural Language Understanding ACL 2020