Popular repositories Loading

1. a-la-mode a-la-mode Public

   A neural network model builder, leveraging a neuro-symbolic interface.

   Python 7

2. thomas-birthday thomas-birthday Public

   🎊 Just a little tkinter game my sister and I made for my little cousin Thomas' birthday in June of 2015.

   Python

3. syllogistic-sizes syllogistic-sizes Public

   🎊 Repo for code related to a syllogistic logic of 'all', 'at least', and 'more than'. Includes code for model construction and use of prover9 to explore the proof rules of the system.

   C

4. notakto-player notakto-player Public

   ⏳ A CNN (and later LSTM) based player designed to learn winning strategies for Thane Plambeck's Notakto.

   Python

5. argyle argyle Public

   A suite of neural network properties that are formally verified in Lean

   Lean

6. AAAI2024 AAAI2024 Public

   Source Code for AAAI2024 Submission

   Lean 1