LILO: Library Induction with Language Observations
☆93Aug 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☆85Sep 10, 2025Updated 6 months ago
- ROSA+: RWKV's ROSA implementation with fallback statistical predictor☆35Oct 13, 2025Updated 5 months ago
- ☆30Oct 2, 2023Updated 2 years ago
- ☆27Sep 11, 2024Updated last year
- 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
- Vector Symbolic Architecture library☆11Feb 28, 2026Updated 3 weeks 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…☆16Updated this week
- Visualize any repo or codebase into diagram or animation☆22Oct 14, 2024Updated last year
- A library for research in unnatural language semantics☆14Mar 5, 2026Updated 2 weeks ago
- Source materials for CoinFT☆29Jan 23, 2026Updated last month
- GPT: Rust Assistant. Your go-to expert in the Rust ecosystem, specializing in precise code interpretation, up-to-date crate version check…☆18Mar 4, 2025Updated last year
- quick playground to animate pippin☆15Nov 11, 2024Updated last year
- A very little language☆16Jul 1, 2023Updated 2 years ago
- mReasoner is a unified computational implementation of the model theory of thinking and reasoning☆13Aug 17, 2023Updated 2 years ago
- Explainable machine learning☆17Mar 17, 2019Updated 7 years ago
- This code accompanies the paper "Leveraging Skills from Unlabeled Prior Data for Efficient Online Exploration."☆37Jul 11, 2025Updated 8 months ago
- [NeurIPS 2024] The official implementation of "Image Copy Detection for Diffusion Models"☆18Oct 1, 2024Updated last year
- The open source implementation of "Connecting Large Language Models with Evolutionary Algorithms Yields Powerful Prompt Optimizers"☆19Mar 11, 2024Updated 2 years ago
- The Energy Transformer block, in JAX☆64Dec 14, 2023Updated 2 years ago
- LLMs + Lean, on your laptop or in the cloud☆203Oct 10, 2025Updated 5 months ago
- Traefik plugin for blocking traffic from the Tor network☆14Jan 2, 2022Updated 4 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Jan 28, 2021Updated 5 years ago
- Generative Neuro-Symbolic (GNS) Modeling (Feinman & Lake, 2021)☆29Jul 8, 2021Updated 4 years ago
- An AI character interaction system with emotional modeling and advanced memory management☆17Oct 26, 2024Updated last year
- Can Language Models Solve Olympiad Programming?☆123Jan 14, 2025Updated last year
- ☆48Apr 25, 2024Updated last year
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Aug 7, 2012Updated 13 years ago
- label ALL kubectl, kustomize, and helm objects, inline, without extra steps.(including namespaces and CRDs)☆15Apr 22, 2024Updated last year
- Generate High Quality textual or multi-modal datasets with Agents☆18Jun 7, 2023Updated 2 years ago
- Set-Encoder: Permutation-Invariant Inter-Passage Attention for Listwise Passage Re-Ranking with Cross-Encoders☆18May 23, 2025Updated 10 months ago
- Unofficial Implementation of Selective Attention Transformer☆21Oct 31, 2024Updated last year
- Code for Paper: Autonomous Evaluation and Refinement of Digital Agents [COLM 2024]☆148Nov 26, 2024Updated last year
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆38Mar 5, 2026Updated 2 weeks ago
- Train a SmolLM-style llm on fineweb-edu in JAX/Flax with an assortment of optimizers.☆19Jul 24, 2025Updated 7 months ago
- Probe how GPT-n performs on statutory reasoning☆10Sep 17, 2024Updated last year
- ☆10Mar 5, 2024Updated 2 years ago
- Bayesian Inverse Graphics for Few-Shot Concept Learning☆12Mar 16, 2025Updated last year