Neuro-symbolic approaches to reasoning problems from abstract argumentation
☆23Sep 14, 2022Updated 3 years ago
Alternatives and similar repositories for DL-abstract-argumentation
Users that are interested in DL-abstract-argumentation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Nov 10, 2021Updated 4 years ago
- Code for "Random Features Strengthen Graph Neural Networks" (SDM 2021)☆22Jan 18, 2021Updated 5 years ago
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆19Mar 29, 2023Updated 3 years ago
- Code and data for EMNLP2016 article "What makes a convincing argument? Empirical analysis and detecting attributes of convincingness in W…☆13Nov 9, 2016Updated 9 years ago
- a discord/slack/misskey bot that instantly creates custom emojis with commands (text emojis, AI illustration emojis) / emotion in that m…☆15Jun 16, 2026Updated 3 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Software for the paper "Gender and Lexical Variation in Social Media" with David Bamman and Tyler Schnoebelen☆17Nov 10, 2015Updated 10 years ago
- LTL2PDDL tool☆13Jul 7, 2017Updated 9 years ago
- ☆19Dec 6, 2024Updated last year
- ☆10Oct 21, 2022Updated 3 years ago
- A curated list of papers on click-through-rate (CTR) prediction.☆18Mar 3, 2024Updated 2 years ago
- Predict edit intentions on Wikipedia☆19Jan 24, 2019Updated 7 years ago
- ☆13Nov 30, 2022Updated 3 years ago
- PyTorch implementation of NeuroSAT☆28May 21, 2023Updated 3 years ago
- 🍽🍻 Restauration & food recommendation engine and chatbot, built with React, NodeJS and Python☆11Dec 12, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A high-performance Constraint Programming solver, created before the yellow things took the same name.☆35Jun 1, 2026Updated last month
- Code Roberta version of RetroMAE: Pre-Training Retrieval-oriented Language Models Via Masked Auto-Encoder☆10Mar 16, 2023Updated 3 years ago
- DoWhy 스터디 Gitbook☆10Feb 12, 2023Updated 3 years ago
- SubER - Subtitle Edit Rate☆25May 7, 2026Updated 2 months ago
- A few addons for log4cl Common Lisp logging library.☆15Jan 9, 2026Updated 5 months ago
- Real time strategy game using the SDL framework for c++☆14Jan 20, 2017Updated 9 years ago
- ☆10Sep 7, 2022Updated 3 years ago
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆40May 14, 2024Updated 2 years ago
- Repo for the paper "Detecting Logical Fallacies: From Quiz to Climate Change News" (2021)☆91Dec 11, 2023Updated 2 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 supervised learning based tool to identify toxic code review comments☆18Sep 15, 2025Updated 9 months ago
- Quickdocs API server☆13Sep 20, 2021Updated 4 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 7 months ago
- A List of Papers on Theoretical Foundations of Graph Neural Networks☆59Apr 15, 2026Updated 2 months ago
- Experimental code for the paper 'Finding Convincing Arguments Using Scalable Bayesian Preference Learning'☆13Dec 8, 2022Updated 3 years ago
- ☆22Dec 18, 2021Updated 4 years ago
- GitHub as a SNS☆10Jan 11, 2023Updated 3 years ago
- My attempt to make neovim more rust friendly from an IDE perspective while trying to not do all of the things!☆12Oct 3, 2020Updated 5 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 5 years 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.
- ☆13Sep 15, 2022Updated 3 years ago
- Code for FoldingNet based on Caffe for unsupervised deep learning on point clouds☆19Feb 10, 2023Updated 3 years ago
- Laravel Config with DB-storage support☆21Oct 15, 2018Updated 7 years ago
- linq in lisp; data set manipulating done easy☆21Jul 4, 2025Updated last year
- Code for CAET5☆23Jun 12, 2023Updated 3 years ago
- Iron Seed is a science-fiction DOS game from 1994, which was both developed and published by Channel 7. Gameplay is real-time, featuring…☆14Mar 15, 2025Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago