The authors first used an initializer agent to extract candidate constraints from API documentation.
Mined tool-call constraints help agents avoid errors and finish tasks
A solver-backed framework learned executable rules from API documentation and traces, then used warnings or automatic repairs to improve agent performance.
Big Tech
Jinu Lee · Shraddha Barke
University of Illinois Urbana-Champaign · Microsoft Research
Research Digest··3 min read
Lee and Barke present Symbolic Constraint Agents, a framework that converts tool-use requirements into formal rules, refines those rules using execution traces, and checks each proposed tool call with a satisfiability modulo theories solver.
§