Ryan Krueger

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 4

Top Topics

Internal Representations

Difficult Problems

Top Venues

Publications

Ryan Krueger, Jesse Michael Han, Daniel Selsam
Automatically Building Diagrams for Olympiad Geometry Problems. CADE (2021)
Ryan Krueger, Yu Huang, Xinyu Liu, Tyler Santander, Westley Weimer, Kevin Leach
Neurological divide: an fMRI study of prose and code writing. ICSE (2020)
Ryan Krueger, Jesse Michael Han, Daniel Selsam
Automatically Building Diagrams for Olympiad Geometry Problems. CoRR (2020)
Yu Huang, Xinyu Liu, Ryan Krueger, Tyler Santander, Xiaosu Hu, Kevin Leach, Westley Weimer
Distilling neural representations of data structure manipulation using fMRI and fNIRS. ICSE (2019)