Pinned Loading

1. RAIRLab/ShadowAdjudicator RAIRLab/ShadowAdjudicator Public

   An automated reasoner for generating and adjudicating arguments amongst AI agents reasoning in a quantified modal logic.

   Python 2

2. awslabs/rust-smt-ir awslabs/rust-smt-ir Public

   SMT 37 8

3. MQP MQP Public

   Repository for "Permutation-Invariant Consensus Over Crowdsourced Labels" published in HCOMP 2018 (Also, my Major Qualifying Project at Worcester Polytechnic Institute)

   Python 1

4. jsburklund/RobotAggregation jsburklund/RobotAggregation Public

   A Minimalistic Approach to Segregation in Robot Swarms - MRS 2019

   C++ 3

5. wpi-deep-neural-nets wpi-deep-neural-nets Public

   Assignments for WPI Graduate Neural Networks course CS 525.

   Python

6. wpi-ma-463x-project wpi-ma-463x-project Public

   Final Project for MA463X: Data Analytics & Statistical Learning. Completed by Mike Giancola, Ranier Gran, Cassidy Litch, Charles Lovering, and Cuong Nguyen.

   Jupyter Notebook