Search Results - RepositoryStats

146

1.1k

cc-by-4.0

34

OctoTools: An agentic framework with extensible tools for complex reasoning

llms agents tool-augmented agentic-framework complex-reasoning large-language-models

Created 2025-02-15

32 commits to main branch, last one 15 days ago

13

352

unknown

11

Paper collection on building and evaluating language model agents via executable language grounding

agent tool-use llm-robotics web-grounding language-agent code-generation neural-symbolic complex-reasoning large-language-models reinforcement-learning

Created 2023-07-08

126 commits to main branch, last one 11 months ago

1

40

unknown

3

Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data

ai4math data-synthesis theorem-proving machine-learning complex-reasoning math-word-problem large-language-models automated-theorem-proving math-word-problem-solving natural-language-processing

Created 2024-02-14

7 commits to main branch, last one 10 months ago