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:
- Code for "Random Features Strengthen Graph Neural Networks" (SDM 2021)☆22Jan 18, 2021Updated 5 years ago
- Official repository for paper "Goal-Aware Neural SAT Solver"☆17Jun 10, 2023Updated 2 years ago
- Code for the paper "Towards an Argument Mining Pipeline Transforming Texts to Argument Graphs" presented at COMMA 2020☆23Mar 25, 2025Updated last year
- Code and data for ACL2016 article "Which argument is more convincing? Analyzing and predicting convincingness of Web arguments using bidi…☆28Aug 2, 2016Updated 9 years ago
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆19Mar 29, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- a discord/slack/misskey bot that instantly creates custom emojis with commands (text emojis, AI illustration emojis) / emotion in that m…☆15Apr 25, 2024Updated 2 years ago
- Data from "Crowdsourcing of Parallel Corpora: the Case of Style Transfer for Detoxification" paper☆14Apr 3, 2025Updated last year
- LTL2PDDL tool☆13Jul 7, 2017Updated 8 years ago
- The replication package of <Sentiment Analysis for Software Engineering: How Far Can Pre-trained Transformer Models Go?>. Accepted by IC…☆11Nov 29, 2023Updated 2 years ago
- Running RL algorithms on the fish/shark aquarium environment to find unexpected biological insights.☆10Nov 30, 2021Updated 4 years ago
- [IEEE CG&A21] Official implementation of the paper "DeepGD"☆14Apr 26, 2025Updated last year
- Tool for learning linear temporal logic formulas using combinatorial approach☆13Jan 11, 2025Updated last year
- Predict edit intentions on Wikipedia☆19Jan 24, 2019Updated 7 years ago
- ☆13Dec 11, 2021Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Linux port of Starcraft game☆13Jan 12, 2022Updated 4 years ago
- ☆21Apr 27, 2026Updated last month
- FM Synthesizer with step sequencer for Arduboy☆22Aug 7, 2019Updated 6 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
- A high-performance Constraint Programming solver, created before the yellow things took the same name.☆32Updated this week
- Code Roberta version of RetroMAE: Pre-Training Retrieval-oriented Language Models Via Masked Auto-Encoder☆10Mar 16, 2023Updated 3 years ago
- ☆12Aug 19, 2025Updated 9 months ago
- ☆16Dec 29, 2019Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- This repository contains the code for the EMNLP'23 paper "AdaSent: Efficient Domain-Adapted Sentence Embeddings for Few-Shot Classificati…☆16Jun 3, 2024Updated last year
- A decentralized system of synchronized lights to coordinate urban mobility swarms.☆17May 24, 2022Updated 4 years ago
- DoWhy 스터디 Gitbook☆10Feb 12, 2023Updated 3 years ago
- SubER - Subtitle Edit Rate☆24May 7, 2026Updated 3 weeks ago
- league/glide wrapper for Laravel☆10Apr 3, 2026Updated last month
- Python program and supplement material of ClimateCoach dashboard☆27Mar 20, 2024Updated 2 years ago
- ☆16Mar 16, 2022Updated 4 years ago
- Real time strategy game using the SDL framework for c++☆14Jan 20, 2017Updated 9 years ago
- web interface for crome-synthesis☆10Sep 19, 2022Updated 3 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.
- Contracts operations tools, based on LTL☆10Aug 30, 2022Updated 3 years ago
- ☆10Sep 1, 2022Updated 3 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)☆90Dec 11, 2023Updated 2 years ago
- A supervised learning based tool to identify toxic code review comments☆18Sep 15, 2025Updated 8 months ago
- Quickdocs API server☆12Sep 20, 2021Updated 4 years ago