Alternatives and similar repositories for Courses:

Users that are interested in Courses are comparing it to the libraries listed below

• RichardEvans / apperception
  ☆79Updated 3 years ago
• jacobandreas / bibs
  Annotated bibliographies.
  ☆40Updated 5 years ago
• yeahrmek / pylean
  Python wrapper for lean-gym
  ☆11Updated 2 years ago
• piantado / Fleet
  ☆61Updated 4 months ago
• asaparov / PWL
  Natural language understanding by probabilistic abduction of a symbolic theory from sentences and logical forms.
  ☆18Updated 2 months ago
• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆60Updated 4 years ago
• i-machine-think / am-i-compositional
  ☆63Updated last year
• ai-systems / DILP-Core
  Python and TensorFlow implementation of the paper "Learning Explanatory Rules from Noisy Data." Evans Richard and Edward Grefenstette. Jo…
  ☆51Updated 3 years ago
• ai4reason / ATP_Proofs
  Interesting ATP Proofs
  ☆13Updated 3 years ago
• trishullab / near
  ☆24Updated 4 years ago
• google-deepmind / logical-entailment-dataset
  This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for p…
  ☆68Updated 7 years ago
• nextml / caption-contest-data-api
  An API to access data from The New Yorker Caption Contest
  ☆61Updated 2 years ago
• Atkrye / IEEE-CIG-Text-Adventurer-Competition
  Public repository for the IEEE CIG text adventurer competition.
  ☆29Updated 6 years ago
• vladfi1 / gym-dolphin
  Nintendo GameCube and Wii games for OpenAI gym using the Dolphin emulator.
  ☆66Updated 8 years ago
• jesse-michael-han / lean-step-public
  Proof artifact co-training for Lean
  ☆44Updated 2 years ago
• asgordon / TriangleCOPA
  One hundred challenge problems for logical formalizations of commonsense psychology
  ☆27Updated last year
• clulab / clulab
  Generic information for people in the CLU lab
  ☆12Updated 3 years ago
• tommccoy1 / meta-learning-linguistic-biases
  ☆15Updated 4 years ago
• vermashresth / awesome-emergent-languages
  Paper Reading in Neural Emergent Communication Literature
  ☆29Updated 3 years ago
• samacqua / LARC
  Language-annotated Abstraction and Reasoning Corpus
  ☆86Updated last year
• mikelewis0 / easyccg
  ☆59Updated 7 years ago
• batra-mlp-lab / lang-emerge
  [EMNLP 2017] Code for "Natural Language Does Not Emerge 'Naturally' in Multi-Agent Dialog"
  ☆95Updated 4 years ago
• KDL-umass / Toybox-depricated
  This repository is deprecated. Please watch/star https://github.com/KDL-umass/Toybox.
  ☆7Updated 5 years ago
• jasonrute / lean_proof_recording
  Proof recording for Lean 3
  ☆26Updated 3 years ago
• taylorwwebb / emergent_symbols
  Code for 'Emergent Symbols through Binding in External Memory'.
  ☆20Updated last year
• rawlins / lambda-notebook
  Lambda Notebook: Formal Semantics in Jupyter
  ☆26Updated this week
• Near32 / ReferentialGym
  This framework provides out-of-the-box implementations of Referential Games variants in order to study the emergence of artificial langua…
  ☆22Updated last month
• spike-imperial / FastLAS
  ☆19Updated 2 months ago
• piantado / LOTlib3
  Language of thought library for python 3
  ☆48Updated last year
• eaplatanios / jelly-bean-world
  A framework for experimenting with never-ending learning
  ☆77Updated 6 months ago