Semester 4: Covered Reintegrating AI and Logic For Systems.
-
date_range 09/05/2023 15:30 info
Finished my forth semester with the following two courses: CSCI1710: Logic for Systems by Tim Nelson (implemented SAT solvers, cool final project with Arman on stable polyomino packings!) and CSCI 2951X: Reintegrating AI by George Konidaris (worked on a bootstrapped Abstraction Discovery system titled “Branching BAD”. Code to be released soon).