☆11Jul 6, 2023Updated 3 years ago
Alternatives and similar repositories for GNN-logic
Users that are interested in GNN-logic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆24Mar 4, 2024Updated 2 years ago
- Automated Programming Framework☆16May 11, 2020Updated 6 years ago
- List of papers that applied graph network to NLP☆13Feb 26, 2019Updated 7 years ago
- Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)☆17Mar 25, 2023Updated 3 years ago
- From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm☆12Jul 18, 2022Updated 4 years 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.
- propositional satisfiability problem (SAT) goes neural and deep☆12Aug 17, 2021Updated 5 years ago
- Official repository for paper "Goal-Aware Neural SAT Solver"☆17Jun 10, 2023Updated 3 years ago
- Reasoning over weighted algebraic and logical constraints☆26Apr 30, 2026Updated 5 months ago
- ☆17Nov 20, 2023Updated 2 years ago
- Qualitative Numeric Planning☆10Dec 10, 2020Updated 5 years ago
- ☆11Jan 25, 2019Updated 7 years ago
- Integration of the planning system Fast Downward with the unified-planning framework.☆15Aug 5, 2025Updated last year
- ☆12Dec 18, 2024Updated last year
- A base Docker container for running Python apps with an Ubuntu userland☆14Jun 13, 2021Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- The codebase and datasets for the IJCAI 2021 paper "The Surprising Power of Graph Neural Networks with Random Node Initialization".☆22Jun 3, 2021Updated 5 years ago
- Let there be clock in the beach - WACV 2022☆15Nov 15, 2021Updated 4 years ago
- ☆14Jan 4, 2025Updated last year
- Run pkgcheck for ebuild repos via GitHub action.☆14Updated this week
- 雪浪制造AI挑战赛 初赛73/2403，复赛22/2403，所有代码+介绍☆14Sep 4, 2018Updated 8 years ago
- A Hierarchical Attention Model for Social Contextual Image Recommendation, TKDE2019☆13Feb 10, 2021Updated 5 years ago
- TransOMCS is a commonsense knowledge resource transferred from ASER. It is in the format of OMCS but two orders of magnitude larger.☆70Aug 25, 2020Updated 6 years ago
- Security hardened OpenBSD templates☆10Jun 10, 2018Updated 8 years ago
- Scalable GP Adapter for Time Series Classification☆13Aug 29, 2017Updated 9 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.
- ☆15Jul 28, 2026Updated 2 months ago
- ☆11Mar 26, 2020Updated 6 years ago
- Code that translates grammar into PDDL, runs a planner to produce multiple plans, translates plans into trainable lale pipelines and trai…☆19Sep 17, 2025Updated last year
- Code for NeurIPS 2019 paper "Screening Sinkhorn Algorithm for Regularized Optimal Transport"☆10Feb 10, 2020Updated 6 years ago
- ☆12May 31, 2021Updated 5 years ago
- Few- and Zero-shot Multi-Label Learning for Structured Label Spaces☆21Aug 27, 2018Updated 8 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- Latex listing for planning formalisms☆15May 17, 2022Updated 4 years ago
- Implementation of the iPiano algorithm for non-convex and non-smooth optimization as described in [1].☆12Nov 28, 2018Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A python implementation of the LZ77, LZ78 and LZW lossless data compression algorithms.☆16Aug 9, 2018Updated 8 years ago
- PDDL planner interface for PDDLGym.☆38Jul 22, 2025Updated last year
- Learning Domain-Independent Planning Heuristics over Hypergraphs (ICAPS'20)☆15Mar 21, 2025Updated last year
- An ultra-fast The Sims 4 Python Decompiler, designed for performance and Ease of Use☆14May 19, 2017Updated 9 years ago
- Graph Metric Learning in PyTorch☆10Apr 7, 2021Updated 5 years ago
- ☆17Apr 24, 2021Updated 5 years ago
- DEPRECATED. This Scalapck repository is deprecated. The last version in this repository is 3.0. Refer to "aocl-scalapack" repository unde…☆10Mar 15, 2021Updated 5 years ago