
Seewon Choi
최시원
Hi, I'm a PhD student in Computer and Information Science at University of Pennsylvania,
advised by Rajeev Alur. I am currently working on neurosymbolic learning, where I am trying to develop more efficient and scalable ways to compose black-box (symbolic) programs and neural networks.
I received my Bachelors from University of Cambridge,
where I worked on rep2rep with Mateja Jamnik.
Updates
• CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning [paper] [blog] [code]
S Choi*, Alaia Solko-Breslin*, Rajeev Alur, Eric Wong
• Data Efficient Learning with Neural Programs [paper] [blog] [code]
Alaia Solko-Breslin, S Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, Eric Wong