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 (AAAI, 2024)

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

CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning. - Seewon Choi; Alaia Solko-Breslin; Rajeev Alur; Eric Wong 001 (CoRR, 2025)