P
PaperPicks
Conferences
Researchers
Sponsors ♥
Seewon Choi
3 papers at tracked venues · 3 at CORE A* · active 2024–2025
DBLP profile ↗
ORCID search ↗
Venues
NeurIPS
×2
AAAI
×1
Frequent coauthors
Alaia Solko-Breslin
×2
Rajeev Alur
×2
Eric Wong
×2
Ziyang Li
×1
Neelay Velingker
×1
Mayur Naik
×1
Lianlong Wu
×1
Daniel Raggi
×1
Aaron Stockdill
×1
Grecia Garcia Garcia
×1
Fiorenzo Colarusso
×1
Peter C.-H. Cheng
×1
Papers
CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning
BibTeX ⧉
NeurIPS 2025
·
Seewon Choi
,
Alaia Solko-Breslin
,
Rajeev Alur
,
Eric Wong
Data-Efficient Learning with Neural Programs
BibTeX ⧉
NeurIPS 2024
·
Alaia Solko-Breslin
,
Seewon Choi
,
Ziyang Li
,
Neelay Velingker
,
Rajeev Alur
,
Mayur Naik
,
Eric Wong
Generation of Visual Representations for Multi-Modal Mathematical Knowledge
BibTeX ⧉
AAAI 2024
·
Lianlong Wu
,
Seewon Choi
,
Daniel Raggi
,
Aaron Stockdill
,
Grecia Garcia Garcia
,
Fiorenzo Colarusso
,
Peter C.-H. Cheng
,
Mateja Jamnik