Andrew Gautier, an MS student in Computer Science in Statler College, will present their defense "Dataless Neural Networks for Boolean Satisfiability and Graph Problems," on Wednesday, July 15, 2026 at 1:00 PM in Advanced Engineering Research Building room 120. Committee Chair: Dr. Piotr Wojciechowski