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
- Code for the paper "Towards an Argument Mining Pipeline Transforming Texts to Argument Graphs" presented at COMMA 2020☆25Mar 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
- a discord/slack/misskey bot that instantly creates custom emojis with commands (text emojis, AI illustration emojis) / emotion in that m…☆15Updated this week
- 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.
- Data from "Crowdsourcing of Parallel Corpora: the Case of Style Transfer for Detoxification" paper☆14Apr 3, 2025Updated last year
- 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 8 years ago
- Running RL algorithms on the fish/shark aquarium environment to find unexpected biological insights.☆10Nov 30, 2021Updated 4 years ago
- [NeurIPS 2023] "Learning to Augment Distributions for Out-of-distribution Detection"☆11Nov 14, 2023Updated 2 years ago
- ☆19Dec 6, 2024Updated last year
- Generating Counterfactual Explanation Images through Generative Adversarial Learning☆12Jul 1, 2021Updated 4 years ago
- ☆10Oct 21, 2022Updated 3 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆13Jan 11, 2025Updated last year
- 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.
- Predict edit intentions on Wikipedia☆19Jan 24, 2019Updated 7 years ago
- Linux port of Starcraft game☆13Jan 12, 2022Updated 4 years ago
- ☆21Apr 27, 2026Updated last month
- Another version of ProofGeneral character, じぇねらるたん☆23May 25, 2016Updated 10 years ago
- ☆13Nov 30, 2022Updated 3 years ago
- PyTorch implementation of NeuroSAT☆28May 21, 2023Updated 3 years ago
- ☆12Aug 19, 2025Updated 9 months ago
- This repository contains the code for the EMNLP'23 paper "AdaSent: Efficient Domain-Adapted Sentence Embeddings for Few-Shot Classificati…☆16Jun 3, 2024Updated 2 years ago
- DoWhy 스터디 Gitbook☆10Feb 12, 2023Updated 3 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.
- SubER - Subtitle Edit Rate☆24May 7, 2026Updated last month
- league/glide wrapper for Laravel☆10Apr 3, 2026Updated 2 months ago
- A few addons for log4cl Common Lisp logging library.☆15Jan 9, 2026Updated 5 months ago
- Python program and supplement material of ClimateCoach dashboard☆27Mar 20, 2024Updated 2 years ago
- Contracts operations tools, based on LTL☆10Aug 30, 2022Updated 3 years ago
- ☆10Sep 1, 2022Updated 3 years ago
- web interface for crome-synthesis☆10Sep 19, 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A supervised learning based tool to identify toxic code review comments☆18Sep 15, 2025Updated 9 months ago
- Quickdocs API server☆12Sep 20, 2021Updated 4 years ago
- A package for compositional system analysis and design☆34Jul 22, 2025Updated 10 months ago
- An agent-based model for scientific inquiry based on abstract argumentation☆13Jan 17, 2022Updated 4 years ago
- CypherBench: Towards Precise Retrieval over Full-scale Modern Knowledge Graphs in the LLM Era☆38Jun 18, 2025Updated last year
- Discovering Universal Geometry in Embeddings with ICA (Published in EMNLP 2023)☆21Jun 17, 2025Updated last year
- ☆24Jan 20, 2023Updated 3 years ago