SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch
Paper • 2607.27167 • Published • 18
Centre for Software Excellence
community
AI & ML interests
Software Engineering, Coding Agents, Post-training
Recent Activity
Papers
MindForge: Teaching Small Language Models Whole-Life-Cycle Software Engineering via Source-Free Program Synthesis
SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch
Superskyyy
authored 2
papers 3 days ago
nemocbb
submitted 2
papers to Daily Papers 4 days ago
SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch
Paper • 2607.27167 • Published • 18
MindForge: Teaching Small Language Models Whole-Life-Cycle Software Engineering via Source-Free Program Synthesis
Paper • 2607.27146 • Published • 23
nemocbb
authored 2
papers 4 days ago
SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch
Paper • 2607.27167 • Published • 18
MindForge: Teaching Small Language Models Whole-Life-Cycle Software Engineering via Source-Free Program Synthesis
Paper • 2607.27146 • Published • 23