
Seewon Choi
최시원
Hi, I'm a PhD student in Computer and Information Science at the University of Pennsylvania,
advised by Rajeev Alur.
I am currently developing more efficient and scalable ways to compose black-box (symbolic) programs and neural networks
within neurosymbolic learning frameworks.
I am also exploring the applications of these approaches in robust and interpretable clinical decision-making.
Previously, I received my Bachelor's degree from the 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