A Scalable Approximate Method for Probabilistic Neurosymbolic Inference
☆23Jan 27, 2025Updated last year
Alternatives and similar repositories for a-nesi
Users that are interested in a-nesi 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 neurosymbolic T5 agent for playing text games, from the EACL 2023 paper "Behavior Cloned Transformers are Neurosymbolic Reasoners"☆20Feb 25, 2023Updated 3 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Mar 25, 2023Updated 3 years ago
- Dataset and code for paper: ``ROAD-R: The Autonomous Driving Dataset with Logical Requirements''☆16Feb 2, 2024Updated 2 years ago
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆17Jan 4, 2023Updated 3 years ago
- TinyNS: Platform-Aware Neurosymbolic Auto Tiny Machine Learning☆25Jun 2, 2023Updated 2 years ago
- Code for "Theoretical Foundations of Deep Selective State-Space Models" (NeurIPS 2024)☆15Jan 7, 2025Updated last year
- ☆19Feb 22, 2023Updated 3 years ago
- PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)☆76Jul 16, 2022Updated 3 years ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆23Jun 30, 2023Updated 2 years ago
- PyTorch implementation for "Probabilistic Circuits for Variational Inference in Discrete Graphical Models", NeurIPS 2020☆17Oct 11, 2021Updated 4 years ago
- Official codebase for the "A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts" benchmark paper.☆11Feb 3, 2025Updated last year
- Official Repository for Efficient Linear-Time Attention Transformers.☆18Jun 2, 2024Updated last year
- Official PyTorch implementation of The Linear Attention Resurrection in Vision Transformer☆16Sep 7, 2024Updated last year
- Julia code for an upper level undergraduate macroeconomics course.☆10May 18, 2022Updated 3 years ago
- Geometry Regularized Autoencoders (GRAE) for large-scale visualization and manifold learning☆23Dec 15, 2023Updated 2 years ago
- Estimating Gradients for Discrete Random Variables by Sampling without Replacement☆40Feb 14, 2020Updated 6 years ago
- The Neuro-Symbolic Forward Reasoner☆29Jun 19, 2023Updated 2 years ago
- Logic Reinforcement Learning☆21Oct 20, 2025Updated 5 months ago
- Integrating Symbolic Programming and Neuromorphic Modeling for Edge Labs with NVIDIA Jetson, DGX Spark, and GPU-based DNN/ML Systems☆15Updated this week
- Courses and practical sessions for the Optimal Transport and Machine learning course at Statlearn 2018☆26Apr 5, 2018Updated 7 years ago
- A Python implementation of the gradient REBAR estimator.☆47Jun 13, 2018Updated 7 years ago
- Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning☆11Jul 20, 2022Updated 3 years ago
- Linear Attention for Efficient Bidirectional Sequence Modeling☆16May 13, 2025Updated 10 months ago
- A plugin for cytoscape.js that allows a user to create a custom toolbar to add next to a cytoscape core instance.☆19Apr 4, 2016Updated 9 years ago
- Entity Linking & discovery solution. Agarwal et al., "Entity Linking via Explicit Mention-Mention Coreference Modeling", NAACL 2022.☆29Apr 11, 2024Updated last year
- Official Release of NeurIPS 2020 Spotlight paper "Generative Neurosymbolic Machines"☆36Mar 9, 2024Updated 2 years ago
- [ICML-2025] We introduce Lie group Relative position Encodings (LieRE) that goes beyond RoPE in supporting n-dimensional inputs.☆14Aug 8, 2025Updated 7 months ago
- A curated paper list on neural symbolic and probabilistic logic.☆134Sep 5, 2023Updated 2 years ago
- Two-stage text summarization with BERT and BART☆11Jan 5, 2022Updated 4 years ago
- PyPSDD porting to Python 3 + PyTorch equivalent tree construction.☆16Jun 7, 2023Updated 2 years ago
- Sparse Circuits on the GPU (ICLR2025)☆21Mar 17, 2026Updated last week
- Building the Bi-LSTM & the CNN-GAN models to compose Classical Music in different eras☆11Aug 2, 2021Updated 4 years ago
- Official code release of our NeurIPS '19 paper "SPoC: Search-based Pseudocode to Code"☆16Dec 18, 2022Updated 3 years ago
- Repository for the NeurIPS 2023 paper "Beyond Confidence: Reliable Models Should Also Consider Atypicality"☆13Apr 21, 2024Updated last year
- Tingshu 听舒 ｜ Bringing the author’s voice directly to you☆33Dec 3, 2024Updated last year
- An issue tracker for a Minecraft modification called The Aether II.☆19Jan 8, 2016Updated 10 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated 6 months ago
- Official code for "Accelerating Feedforward Computation via Parallel Nonlinear Equation Solving", ICML 2021☆29Sep 25, 2021Updated 4 years ago
- An implementation of EinsumNetworks in PyTorch.☆23Jan 26, 2026Updated last month