Papers

Filtered to requirements engineering · clear filter

Browse by term

continual learning 64reinforcement learning 34large language models 17benchmarking 12vision-language models 10generative models 8language models 8video generation 7multimodal models 6natural language processing 6robotics 6world models 6benchmarks 5diffusion models 5on-policy distillation 5policy optimization 5scalability 5self-distillation 5vision-language-action models 5autoregressive models 4computer vision 4diffusion transformers 4LLMs 4multimodal large language models 4verifiable rewards 4attention mechanisms 3embodied intelligence 3image editing 3long-term memory 3multimodal learning 3

Matching papers

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch

18 upvotes · 29 JUL 2026 · Yihao Chen, Shi Chang, Feng Lin et al.

This paper introduces a new framework called SpecFirst that helps AI agents construct software programs from scratch by first eliciting a clear behavioral specification from natural-language documentation and an executable binary. Practitioners might care about this approach because it can improve the efficiency and accuracy of program synthesis.

program synthesisagent-based systemsrequirements engineeringbehavioral specificationnatural language processing