gabegrand / liloLinks
LILO: Library Induction with Language Observations
☆90Updated last year
Alternatives and similar repositories for lilo
Users that are interested in lilo are comparing it to the libraries listed below
Sorting:
- ☆105Updated last year
- Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents☆133Updated last year
- Evaluating LLMs with CommonGen-Lite☆93Updated last year
- A library for benchmarking the Long Term Memory and Continual learning capabilities of LLM based agents. With all the tests and code you…☆82Updated last year
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆43Updated 2 years ago
- Self-Taught Optimizer (STOP): Recursively Self-Improving Code Generation☆49Updated 2 years ago
- ☆80Updated 9 months ago
- Repository for the paper Stream of Search: Learning to Search in Language☆152Updated 11 months ago
- Code and data for the paper "Why think step by step? Reasoning emerges from the locality of experience"☆63Updated 9 months ago
- LLM verified with Monte Carlo Tree Search☆284Updated 9 months ago
- Advanced Reasoning Benchmark Dataset for LLMs☆47Updated 2 years ago
- Mixing Language Models with Self-Verification and Meta-Verification☆111Updated last year
- Composable inference algorithms with LLMs and programmable logic☆69Updated last year
- ☆86Updated 2 years ago
- ☆41Updated last year
- Functional Benchmarks and the Reasoning Gap☆90Updated last year
- Official code for the paper "ADaPT: As-Needed Decomposition and Planning with Language Models"☆90Updated 2 years ago
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs☆41Updated last year
- A framework for pitting LLMs against each other in an evolving library of games ⚔☆34Updated 8 months ago
- Can Language Models Solve Olympiad Programming?☆124Updated 11 months ago
- Commit0: Library Generation from Scratch☆174Updated 8 months ago
- ☆137Updated 2 years ago
- Small, simple agent task environments for training and evaluation☆19Updated last year
- DialOp: Decision-oriented dialogue environments for collaborative language agents☆111Updated last year
- ModuleFormer is a MoE-based architecture that includes two different types of experts: stick-breaking attention heads and feedforward exp…☆226Updated 3 months ago
- A codebase for "Language Models can Solve Computer Tasks"☆239Updated last year
- Meta-CoT: Generalizable Chain-of-Thought Prompting in Mixed-task Scenarios with Large Language Models☆101Updated 2 years ago
- ☆25Updated last year
- ☆42Updated last year
- LLMs + Lean, on your laptop or in the cloud☆199Updated 2 months ago