Hi all, Brian here. I'm a PhD student in CS at Georgia Tech. I did my undergrad at...

Hi all, Brian here. I'm a PhD student in CS at Georgia Tech. I did my undergrad at UofT and my master's at Waterloo, so the GTA area is home to me. I work on combining (logical) *reasoning* and (machine) *learning* to build AI systems that solve open Math and Physics problems. I am currently working on a startup with my co-founder, and would love to connect with you all and exchange insights! https://x.com/BrianforPhD