Pinned Loading

1. bert-pc bert-pc Public

   Using BERT to solve propositional calculus SAT

   Python 1 1

2. Advancing-Machine-Human-Reasoning-Lab/NLIwithACE Advancing-Machine-Human-Reasoning-Lab/NLIwithACE Public

   A project for converting Stanford Natural Language Inference (SNLI) problems into Attempto Controlled English, and then solving them. Based on paper accepted to FLAIRS 2020.

   Python 2

3. project-euler project-euler Public

   All the questions solved in Project Euler (https://projecteuler.net/)

   Python

4. Advancing-Machine-Human-Reasoning-Lab/apt Advancing-Machine-Human-Reasoning-Lab/apt Public

   This is a repository of the study performed under the Adversarial Paraphrasing Task (APT).

   Python 21 2

5. list-of-transformers list-of-transformers Public