3 results found Sort:

Paper collection on building and evaluating language model agents via executable language grounding
Created 2023-07-08
126 commits to main branch, last one 10 months ago
36
290
cc-by-4.0
3
OctoTools: An agentic framework with extensible tools for complex reasoning
Created 2025-02-15
20 commits to main branch, last one 4 days ago
1
39
unknown
3
Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
Created 2024-02-14
7 commits to main branch, last one 9 months ago