We have 9 of 13 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Large language models equipped with development environments have moved code generation toward repository-scale construction, yet building complete repositories remains difficult because interacting modules, interfaces, configurations, tests, and dependencies must work together. We introduce Code Primitives, agent-nati...
This work organizes 82 reusable methods from Putnam 2000-2014 as Method Contracts, which pair applicability descriptions with Mathlib anchors, a checked example or scaffold, and expected proof obligations, and analyzes when similarity-based representations cannot distinguish methods with different applicability, how er...
Large language models (LLMs) equipped with terminal access have demonstrated strong capabilities in automating software engineering tasks. However, existing agents remain brittle on long-horizon workflows, where they must repeatedly reconstruct program state scattered across source files, configurations, tests, depende...
Agent harnesses govern how large language models (LLMs) gather context, invoke tools, verify results, preserve state, and terminate, largely affecting agent performance. However, the value of each harness mechanism can differ across heterogeneous tasks: a mechanism that improves one task may impose overhead or context...
ANTMAN is introduced, an adaptive coordination framework that treats evolving unresolved information needs as the unit of runtime coordination and maintains a revisable Need Graph that tracks unresolved requirements, accumulated evidence, prior attempts, and search progress.
STEVE, a stabilization framework with two coupled mechanisms that reduces degradation and produces more robust prompts, provides a practical way to improve the stability and effectiveness of textual-gradient prompt optimization.
The results indicate that typed state transitions and deterministic evidence control contribute beyond fluent generation alone on quantum-acceleration hypotheses beyond fluent generation alone.
This work introduces Tool Primitives, a design that replaces rigid API schema-based invocation with natural language as the interface for tool calling, where each tool is wrapped with an LLM interface that handles schema resolution and execution internally, enabling natural inter-tool communication for nested and multi...
A synthetic player population is constructed whose traits are ground truth by construction, and an opportunity-aware decision-moment representation is introduced that disentangles preference from the chance to express it; ablating it selectively degrades opportunity-dependent traits.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
