-
Keeping coding agents aligned with the original task
The story behind RefineAct, a formal runtime-verification approach for checking whether each agent action still matches the user's intent.
-
Localizing design issues with LLM agents
Why pinpointing where a design problem lives is harder than detecting that one exists — and how agents that combine program analysis with reasoning can help.