ais-climber

a-la-mode

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

AAAI2024

Source Code for AAAI2024 Submission

ais-climber.github.io

argyle

A Lean suite for reasoning about neural network learning

notakto-player

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

research-notebook

A collection of little results about neural network models, dynamic epistemic logic, etc.

syllogistic-sizes

🎊 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.

thomas-birthday

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