activity
20242026
most citedHyperAgent: Generalist Software Engineering Agents to Solve Coding Tasks at Scale

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.SE2026

SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference

Cuong Chi Le, Minh V. T Pham, Tung Vu Duy +4

Specifications are vital for ensuring program correctness, yet writing them manually remains challenging and time-intensive. Recent large language model (LLM)-based methods have sh…