Search Results - RepositoryStats

2 results found Sort:

320

unknown

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 2 months ago

unknown

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 about a month ago