Learning to Coordinate Symbolic Tools: LLM Agents for Verified Sum-of-Squares Certificates
Paper • 2608.00326 • Published
Richard Hoffmann
richardhoff
·
AI & ML interests
Reinforcement Learning, World Models, Robot Planning
Recent Activity
authored a paper 1 day ago
Learning to Coordinate Symbolic Tools: LLM Agents for Verified Sum-of-Squares Certificates authored a paper 2 months ago
Graphon Mean-Field Subsampling for Cooperative Heterogeneous Multi-Agent Reinforcement LearningOrganizations
None yet
authored a
paper 1 day ago