Skip to content
View ais-climber's full-sized avatar

Block or report ais-climber

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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