Course resources and notes for the ESSLLI 2023 course on neural symbolic methods.
☆18Feb 5, 2025Updated last year
Alternatives and similar repositories for esslli_neural_symbolic
Users that are interested in esslli_neural_symbolic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Visualization tool for interpreting NLP models☆36Sep 6, 2019Updated 6 years ago
- ☆10Nov 1, 2019Updated 6 years ago
- Code for the ACL 2019 paper "Observing Dialogue in Therapy: Categorizing and Forecasting Behavioral Codes"☆14Jun 11, 2022Updated 4 years ago
- ☆16Mar 18, 2023Updated 3 years ago
- Repository containing code for the NAACL 2021 paper (Incorporating External Knowledge to Enhance Tabular Reasoning)☆16Jun 20, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆10Oct 17, 2021Updated 4 years ago
- Shared repository for TRIP dataset for verifiable NLU and coherence measurement for text classifiers.☆16Nov 15, 2022Updated 3 years ago
- The codebase for the paper: A Closer Look at How Fine-tuning Changes BERT☆24Apr 3, 2023Updated 3 years ago
- super tiny implementation of higher-order logic proof assistant in lean☆22Sep 29, 2019Updated 6 years ago
- Weakly Supervised Text-to-SQL Parsing through Question Decomposition☆23Nov 22, 2023Updated 2 years ago
- Code and data for experiments on semantic fragments☆11Jun 23, 2022Updated 4 years ago
- HELP: a dataset for Handling Entailments with Lexical and logical Phenomena (Ver.1.0)☆15Jul 20, 2023Updated 3 years ago
- Neural machine translation implementation using dynet's python bindings☆17Jan 24, 2018Updated 8 years ago
- Code for the paper "Critical Thinking for Language Models"☆13Jun 1, 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.
- Implementation of the semi-structured inference model in our ACL 2020 paper, INFOTABS: Inference on Tables as Semi-structured Data.☆17Dec 7, 2021Updated 4 years ago
- ☆12Jan 29, 2021Updated 5 years ago
- Independent implementation of DBCA method from http://arxiv.org/abs/1912.09713☆11Nov 25, 2020Updated 5 years ago
- ☆13Jun 21, 2017Updated 9 years ago
- Posterior Control of Blackbox Generation☆23May 2, 2020Updated 6 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- A live code editor similar to codepen.io , jsfiddle.net☆14May 6, 2020Updated 6 years ago
- The official implementation of "BERT is to NLP what AlexNet is to CV: Can Pre-Trained Language Models Identify Analogies?, ACL 2021 main …☆25May 28, 2023Updated 3 years ago
- ☆26Sep 14, 2025Updated 10 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Implementation of the first neural natural logic paper on natural language inference☆10Oct 31, 2022Updated 3 years ago
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Nov 27, 2016Updated 9 years ago
- Reasoning by Communicating with Agents☆30Apr 29, 2025Updated last year
- Deep Reinforcement Learning with Self-Play☆12Nov 27, 2019Updated 6 years ago
- Formal grammars in Lean 3☆10Aug 14, 2023Updated 2 years ago
- Learning to route instances for Human vs AI Feedback (ACL Main '25)☆29Jul 23, 2025Updated last year
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆16Jul 4, 2019Updated 7 years ago
- Code for generating Quasimodo, a commonsense knowledge base.☆20Sep 14, 2021Updated 4 years ago
- The OpenAPI Specification Repository☆12Jul 12, 2023Updated 3 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.
- ☆18Sep 21, 2023Updated 2 years ago
- List of corpora annotated for coreference for different languages☆18Aug 8, 2024Updated last year
- A list of things to do in Montréal.☆28Oct 6, 2025Updated 9 months ago
- FollowIR: Evaluating and Teaching Information Retrieval Models to Follow Instructions☆57Jul 3, 2024Updated 2 years ago
- Code and data for the paper: "Unsupervised Common Sense Question Answering with Self-Talk"☆79Jul 19, 2021Updated 5 years ago
- A probabilistic CKY parser for PCFGs☆19Mar 12, 2014Updated 12 years ago
- Proof-of-concept formal verification using Hoare logic☆21Feb 29, 2020Updated 6 years ago