☆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☆25Mar 4, 2024Updated 2 years ago
- TTS前，文本标准化，将数字字母处理转化为汉字☆12Apr 27, 2024Updated 2 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
- propositional satisfiability problem (SAT) goes neural and deep☆12Aug 17, 2021Updated 5 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.
- 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 3 months ago
- ☆17Nov 20, 2023Updated 2 years ago
- Qualitative Numeric Planning☆10Dec 10, 2020Updated 5 years ago
- Integration of the planning system Fast Downward with the unified-planning framework.☆14Aug 5, 2025Updated last year
- A base Docker container for running Python apps with an Ubuntu userland☆14Jun 13, 2021Updated 5 years ago
- ☆10Oct 18, 2021Updated 4 years ago
- Let there be clock in the beach - WACV 2022☆15Nov 15, 2021Updated 4 years ago
- ☆12Oct 19, 2020Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A toolkit to automatically crawl the paper list and download paper pdfs of ACL Ahthology.☆11Nov 12, 2025Updated 9 months ago
- MiniZinc documentation☆16Feb 9, 2023Updated 3 years ago
- 雪浪制造AI挑战赛 初赛73/2403，复赛22/2403，所有代码+介绍☆14Sep 4, 2018Updated 7 years ago
- A Python script that extracts the PRNU from images using the DRUNet network as a denoising technique.☆12Nov 30, 2021Updated 4 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 5 years ago
- Scalable GP Adapter for Time Series Classification☆13Aug 29, 2017Updated 8 years 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 11 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.
- ⚡️Lightweight framework for NLP research, based on PyTorch⚡️☆12Apr 5, 2023Updated 3 years ago
- How to use Chinese font in Matplotlib, the complete guide.☆13May 19, 2018Updated 8 years ago
- Few- and Zero-shot Multi-Label Learning for Structured Label Spaces☆21Aug 27, 2018Updated 7 years ago
- Code for "SUGAR: Subgraph Neural Network with Reinforcement Pooling and Self-Supervised Mutual Information Mechanism""☆10Apr 17, 2021Updated 5 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
- A python implementation of the LZ77, LZ78 and LZW lossless data compression algorithms.☆16Aug 9, 2018Updated 8 years ago
- Learning Domain-Independent Planning Heuristics over Hypergraphs (ICAPS'20)☆15Mar 21, 2025Updated last year
- Graph Metric Learning in PyTorch☆10Apr 7, 2021Updated 5 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.
- ☆17Apr 24, 2021Updated 5 years ago
- 本项目收集目前对话系统论文中，已公开的，用于训练中(英)文的训练集。Datasets for training Dialog.☆25Oct 8, 2019Updated 6 years ago
- XWayland support for QtQuick Wayland compositors like Liri Shell☆15Dec 16, 2022Updated 3 years ago
- Mirror of https://picoforge.int-evry.fr/cgi-bin/twiki/view/Gpucv/Web☆14Dec 10, 2015Updated 10 years ago
- Implementation for Poison Attacks against Text Datasets with Conditional Adversarially Regularized Autoencoder (EMNLP-Findings 2020)☆15Oct 8, 2020Updated 5 years ago
- [ICML'21 Oral] Improving Lossless Compression Rates via Monte Carlo Bits-Back Coding☆14Jun 10, 2021Updated 5 years ago
- A repository containing the code for the paper "Incorporating Domain Knowledge into Medical NLI using Knowledge Graphs" EMNLP 2019☆13Nov 2, 2019Updated 6 years ago