arXiv (All)
open access
SpecCoder: Specification-Aware Code Generation with Curriculum Dual-Task Reinforcement Learning
Large language models (LLMs) have made substantial progress in code generation but still struggle with challenging programming tasks that require understanding rich natural language requirements. These requirements often specify problem goals, input/output formats, constraints, examples, and edge ca
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- CodeSkill: Latent Skill Abstraction for Long-Horizon Code Agents#1117955
- Adaptive Proof Refinement with LLM-Guided Strategy Selection#997450
- Teaching Code LLMs to Reason with Intermediate Formal Specifications#343559
- MathDuels: Evaluating LLMs as Problem Posers and Solvers#126578
- Bridging Learning Outcomes and Module Specifications: GenAI Framework for Curriculum Development in CS Education#1068024
Record · ID 973651
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive