Neurosymbolic Library
☆28Apr 10, 2026Updated last week
Alternatives and similar repositories for neurosym-lib
Users that are interested in neurosym-lib are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automatic generation of architecture-level models for hardware from its RTL design.☆15Apr 12, 2023Updated 3 years ago
- ☆16Nov 1, 2023Updated 2 years ago
- Python notebooks for a tutorial on neurosymbolic programming☆78Apr 15, 2024Updated 2 years ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Aug 13, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Oct 22, 2023Updated 2 years ago
- 🕸️ A visualizer for graphs defined as logic programs☆32Oct 12, 2024Updated last year
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- GNU Guile Scheme bindings for OCaml☆19Aug 5, 2022Updated 3 years ago
- Codebase for Neuro-Symbolic Continual Learning.☆26Aug 21, 2023Updated 2 years ago
- R Implementation of the Time Varying Cointegration by Bierens and Martins 2010☆10Apr 14, 2016Updated 10 years ago
- ToolPlanner: A Tool Augmented LLM for Multi Granularity Instructions with Path Planning and Feedback☆18Dec 3, 2024Updated last year
- Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python☆19Jan 16, 2026Updated 3 months ago
- R-package: Bayesian variable selection, model choice, and regularized estimation for (spatial) generalized additive mixed regression …☆14Oct 22, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Code space for L4DC paper "State-wise Safe Reinforcement Learning With Pixel Observations"☆11Apr 5, 2024Updated 2 years ago
- Implementation of higher-order logic in Python☆67Feb 25, 2023Updated 3 years ago
- Probabilistic Mission Design for Neuro-Symbolic Transportation Systems.☆18Apr 7, 2026Updated last week
- PyUPPAAL is a python package basically for reflecting UPPAAL's model editing, verification, and counter-example parsing operations into s…☆43Aug 22, 2025Updated 7 months ago
- AN INTERACTIVE REMOTE SENSING CHANGE ANALYSIS MODEL BASED ON MULTIMODAL INSTRUCTION TUNING☆21Jun 16, 2025Updated 10 months ago
- Method developed by Tiago Dantas and Fernando Cyrino Oliveira that combines Bagging, Clusters and ETS to produce highly accurate time ser…☆11Jul 12, 2019Updated 6 years ago
- Gym wrapper for Vizdoom environments☆12Dec 14, 2018Updated 7 years ago
- [ACL 2024] "Understanding and Patching Compositional Reasoning in LLMs"☆13Aug 28, 2024Updated last year
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Jan 28, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- POLAR official tool☆21Feb 13, 2026Updated 2 months ago
- Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provi…☆20Jul 26, 2021Updated 4 years ago
- Making maps from DOOM in Rust☆11Mar 12, 2018Updated 8 years ago
- Inductor Prolog: A Lightweight Embeddable C++ Prolog Compiler☆15Dec 4, 2023Updated 2 years ago
- ☆10Oct 28, 2024Updated last year
- The official implementation of DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL (ICLR'25 Oral)☆16Mar 30, 2025Updated last year
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆17Jan 4, 2023Updated 3 years ago
- [NeurIPS24] VisMin: Visual Minimal-Change Understanding☆19Mar 3, 2025Updated last year
- Univariate and multivariate time series forecasting, with uncertainty quantification (Python & R)☆23Mar 28, 2026Updated 2 weeks 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.
- The official repo for the CoRL 2022 paper 'Learning Control Admissibility Models with Graph Neural Networks for Multi-Agent Navigation'☆10Oct 8, 2022Updated 3 years ago
- Datalog with support for SMT queries and first-order functional programming☆172Apr 8, 2026Updated last week
- Clojure bindings for Scryer Prolog☆17Feb 16, 2025Updated last year
- ☆12Apr 3, 2024Updated 2 years ago
- Framework and Language for Neurosymbolic Programming.☆469May 1, 2025Updated 11 months ago
- Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses☆52Mar 30, 2026Updated 2 weeks ago
- Human-in-the-Loop SLAM☆25Aug 11, 2023Updated 2 years ago