Login / Signup
Seewon Choi
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Visual Representations
Uni Modal
Mathematical Knowledge
Theorem Prover
Top Venues
CoRR
AAAI
</>
Publications
</>
Alaia Solko-Breslin
,
Seewon Choi
,
Ziyang Li
,
Neelay Velingker
,
Rajeev Alur
,
Mayur Naik
,
Eric Wong
Data-Efficient Learning with Neural Programs.
CoRR
(2024)
Lianlong Wu
,
Seewon Choi
,
Daniel Raggi
,
Aaron Stockdill
,
Grecia Garcia Garcia
,
Fiorenzo Colarusso
,
Peter C.-H. Cheng
,
Mateja Jamnik
Generation of Visual Representations for Multi-Modal Mathematical Knowledge.
AAAI
(2024)