LILO: Library Induction with Language Observations
☆95Aug 29, 2024Updated last year
Alternatives and similar repositories for lilo
Users that are interested in lilo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A scalable abstraction learning library☆90Sep 10, 2025Updated 8 months ago
- ROSA+: RWKV's ROSA implementation with fallback statistical predictor☆35Oct 13, 2025Updated 7 months ago
- ☆10Oct 28, 2020Updated 5 years ago
- ☆30Oct 2, 2023Updated 2 years ago
- ☆27Sep 11, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 6 years ago
- A Rust implementation of the Lean kernel☆11Jan 2, 2023Updated 3 years ago
- Dyna built on R-exprs (First Prototype)☆17Mar 7, 2022Updated 4 years ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆16Mar 26, 2026Updated 2 months ago
- Visualize any repo or codebase into diagram or animation☆23Oct 14, 2024Updated last year
- Demonstration of how to run multiple chains in Langchain Assyncronously☆12Jul 6, 2023Updated 2 years ago
- GPT: Rust Assistant. Your go-to expert in the Rust ecosystem, specializing in precise code interpretation, up-to-date crate version check…☆19Mar 4, 2025Updated last year
- Explainable machine learning☆17Mar 17, 2019Updated 7 years ago
- [NeurIPS 2024] The official implementation of "Image Copy Detection for Diffusion Models"☆18Oct 1, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- This code accompanies the paper "Leveraging Skills from Unlabeled Prior Data for Efficient Online Exploration."☆38Jul 11, 2025Updated 10 months ago
- The open source implementation of "Connecting Large Language Models with Evolutionary Algorithms Yields Powerful Prompt Optimizers"☆19Mar 11, 2024Updated 2 years ago
- ☆14Jun 18, 2023Updated 2 years ago
- The Energy Transformer block, in JAX☆67Dec 14, 2023Updated 2 years ago
- LLMs + Lean, on your laptop or in the cloud☆210Oct 10, 2025Updated 7 months ago
- Generative Neuro-Symbolic (GNS) Modeling (Feinman & Lake, 2021)☆28Jul 8, 2021Updated 4 years ago
- An AI character interaction system with emotional modeling and advanced memory management☆17Oct 26, 2024Updated last year
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Aug 7, 2012Updated 13 years ago
- Can Language Models Solve Olympiad Programming?☆124Jan 14, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Code and Data for DeepLog system☆17Feb 16, 2023Updated 3 years ago
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated 3 months ago
- Generate High Quality textual or multi-modal datasets with Agents☆18Jun 7, 2023Updated 2 years ago
- ☆20Apr 22, 2025Updated last year
- JSON RPC v2.0 Sans I/O☆11Apr 8, 2026Updated last month
- Set-Encoder: Permutation-Invariant Inter-Passage Attention for Listwise Passage Re-Ranking with Cross-Encoders☆19May 23, 2025Updated last year
- Unofficial Implementation of Selective Attention Transformer☆20Oct 31, 2024Updated last year
- Code for Paper: Autonomous Evaluation and Refinement of Digital Agents [COLM 2024]☆149Nov 26, 2024Updated last year
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆38Mar 5, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆60Nov 19, 2024Updated last year
- Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977☆82Jan 3, 2024Updated 2 years ago
- Probe how GPT-n performs on statutory reasoning☆10Sep 17, 2024Updated last year
- ☆10Mar 5, 2024Updated 2 years ago
- Chat Markup Language conversation library☆55Jan 3, 2024Updated 2 years ago
- Fine-tuning GPT-2 to generate research paper abstracts☆12Apr 28, 2021Updated 5 years ago
- ☆12Jul 31, 2025Updated 9 months ago