complex-reasoning topic
List
complex-reasoning repositories
xlang-paper-reading
335
Stars
12
Forks
Watchers
Paper collection on building and evaluating language model agents via executable language grounding
MUSTARD
37
Stars
1
Forks
Watchers
Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
octotools
1.4k
Stars
181
Forks
1.4k
Watchers
OctoTools: An agentic framework with extensible tools for complex reasoning