gabegrand / liloLinks
LILO: Library Induction with Language Observations
☆87Updated 9 months ago
Alternatives and similar repositories for lilo
Users that are interested in lilo are comparing it to the libraries listed below
Sorting:
- ☆85Updated 5 months ago
- ☆75Updated 3 months ago
- Repository for the paper Stream of Search: Learning to Search in Language☆148Updated 4 months ago
- Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents☆124Updated last year
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆64Updated 5 months ago
- Commit0: Library Generation from Scratch☆152Updated last month
- Code for RATIONALYST: Pre-training Process-Supervision for Improving Reasoning https://arxiv.org/pdf/2410.01044☆33Updated 8 months ago
- Evaluating LLMs with CommonGen-Lite☆90Updated last year
- Q-Probe: A Lightweight Approach to Reward Maximization for Language Models☆41Updated last year
- ☆42Updated 9 months ago
- A library for benchmarking the Long Term Memory and Continual learning capabilities of LLM based agents. With all the tests and code you…☆73Updated 6 months ago
- ☆115Updated 4 months ago
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆40Updated last year
- Pre-training code for CrystalCoder 7B LLM☆54Updated last year
- ☆207Updated last year
- Functional Benchmarks and the Reasoning Gap☆87Updated 8 months ago
- Multimodal computer agent data collection program☆133Updated last year
- LLM verified with Monte Carlo Tree Search☆276Updated 2 months ago
- Can Language Models Solve Olympiad Programming?☆116Updated 5 months ago
- A framework for pitting LLMs against each other in an evolving library of games ⚔☆32Updated 2 months ago
- Implementation of the paper: "AssistantBench: Can Web Agents Solve Realistic and Time-Consuming Tasks?"☆57Updated 6 months ago
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆70Updated last year
- Memoria is a human-inspired memory architecture for neural networks.☆74Updated 8 months ago
- RepoQA: Evaluating Long-Context Code Understanding☆109Updated 7 months ago
- Mixing Language Models with Self-Verification and Meta-Verification☆104Updated 6 months ago
- ☆118Updated 11 months ago
- A DSPy-based implementation of the tree of thoughts method (Yao et al., 2023) for generating persuasive arguments☆81Updated 8 months ago
- Official repo for Learning to Reason for Long-Form Story Generation☆63Updated 2 months ago
- Data preparation code for CrystalCoder 7B LLM☆45Updated last year
- This is the official repository for all the code of TheoremLlama☆42Updated 8 months ago