Seewon Choi

According to our database, Seewon Choi authored at least 3 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning.

Seewon Choi, Alaia Solko-Breslin, Rajeev Alur, Eric Wong

CoRR, March, 2025

2024

Data-Efficient Learning with Neural Programs.

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

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 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

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024