{% include analytics.html %}

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

[Apr 2025]

CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning
[paper] [blog] [code]

S Choi*, Alaia Solko-Breslin*, Rajeev Alur, Eric Wong

[Dec 2024] I will be attending NeurIPS 2024

Data Efficient Learning with Neural Programs [paper] [blog] [code]

Alaia Solko-Breslin, S Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, Eric Wong

[Jun 2024] I will be attending PLDI 2024
[Aug 2023] I will be starting my PhD at UPenn