LILO: Library Induction with Language Observations
☆102Aug 29, 2024Updated 2 years ago
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☆110Sep 8, 2026Updated last month
- ☆29Oct 2, 2023Updated 3 years ago
- ☆14Dec 31, 2023Updated 2 years ago
- Library implementation of DreamCoder as adapted for LAPS.☆13Jun 9, 2023Updated 3 years ago
- ☆568Jul 1, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Generative Neuro-Symbolic (GNS) Modeling (Feinman & Lake, 2021)☆29Jul 8, 2021Updated 5 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated last year
- ☆10Oct 28, 2020Updated 6 years ago
- Hrrformer: A Neuro-symbolic Self-attention Model (ICML23)☆66Oct 8, 2025Updated last year
- An expressive language for discrete probabilistic programming with lazy knowledge compilation☆18Jul 27, 2026Updated 3 months ago
- 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
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆87Jan 2, 2024Updated 2 years ago
- A Rust implementation of the Lean kernel☆10Jan 2, 2023Updated 3 years ago
- Neurosymbolic transformers for multi-agent communication.☆23Oct 22, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Code for the interpreters workshop at Lambda Jam 2013☆13Sep 24, 2013Updated 13 years ago
- A library for research in unnatural language semantics☆14Oct 2, 2026Updated last month
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆54Jul 18, 2024Updated 2 years ago
- Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021☆40Sep 16, 2025Updated last year
- Dyna built on R-exprs (First Prototype)☆17Mar 7, 2022Updated 4 years ago
- A Docker image for running the ACL2 theorem proving system and books in JupyterLab.☆14Oct 18, 2026Updated 2 weeks ago
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆15Jul 2, 2024Updated 2 years ago
- Language of thought library for python 3☆52Feb 14, 2024Updated 2 years ago
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs☆43Feb 15, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Vector Symbolic Architecture library☆12Apr 26, 2026Updated 6 months ago
- Probabilistic programming with large language models☆183Sep 26, 2026Updated last month
- Probabilistic Mission Design for Neuro-Symbolic Transportation Systems.☆20Oct 29, 2026Updated last week
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆11Aug 27, 2022Updated 4 years ago
- this is based on the paper Chain-of-Retrieval Augmented Generation☆15Mar 29, 2025Updated last year
- Make an existing proof easier to inspect by exposing its hierarchy, dependencies, scope, and unresolved obligations.☆22Sep 6, 2026Updated 2 months ago
- Code for the paper "Stack Attention: Improving the Ability of Transformers to Model Hierarchical Patterns"☆19Mar 15, 2024Updated 2 years ago
- ☆13Apr 17, 2025Updated last year
- ☆11Nov 18, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Probabilistic programming system for fast and exact symbolic inference☆86Apr 12, 2026Updated 6 months ago
- ☆40Jan 26, 2024Updated 2 years ago
- Integrating Symbolic AI Programming and Neuromorphic Modeling for Edge Labs with NVIDIA Jetson, DGX Spark, and GPU-based DNN/ML Systems☆17Updated this week
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆18Jul 31, 2026Updated 3 months ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Dec 7, 2020Updated 5 years ago
- Code for reproducing work of ICML 2019 paper: Memory-Optimal Direct Convolutions for Maximizing Classification Accuracy in Embedded Appli…☆12Jun 8, 2019Updated 7 years ago
- ☆18Feb 4, 2026Updated 9 months ago