Choi, Seewon

3 publications

NeurIPS 2025 CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning Seewon Choi, Alaia Solko-Breslin, Rajeev Alur, Eric Wong

NeurIPS 2024 Data-Efficient Learning with Neural Programs Alaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, Eric Wong

AAAI 2024 Generation of Visual Representations for Multi-Modal Mathematical Knowledge Lianlong Wu, Seewon Choi, Daniel Raggi, Aaron Stockdill, Grecia Garcia Garcia, Fiorenzo Colarusso, Peter C.-H. Cheng, Mateja Jamnik