Jasper Lee

11 papers A* 1B 2Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2026 — conf
Introduction to the Minitrack on Body Sensor Networks and AI to Advance Personalized and Population Healthcare.
HICSS
Charlotte Goldfine, Jasper Lee, Rachel Davis-Martin
2025 J jnl
CLEVER: A Curated Benchmark for Formally Verified Code Generation.
CoRR
Amitayush Thakur, Jasper Lee, George Tsoukalas, Meghana Sistla, Matthew Zhao, Stefan Zetzsche, Greg Durrett, Yisong Yue, Swarat Chaudhuri
2025 — conf
Introduction to the Minitrack on Body Sensor Networks for Personalized Medicine.
HICSS
Jasper Lee, Rachel Davis-Martin, Charlotte E. Goldfine
2024 — conf
Introduction to the Minitrack on Body Sensor Networks for Personalized Medicine.
HICSS
Jasper Lee, Rachel Davis-Martin, Charlotte E. Goldfine
2024 A* conf
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition.
NeurIPS
George Tsoukalas, Jasper Lee, John Jennings, Jimmy Xin, Michelle Ding, Michael Jennings, Amitayush Thakur, Swarat Chaudhuri
2024 J jnl
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition.
CoRR
George Tsoukalas, Jasper Lee, John Jennings, Jimmy Xin, Michelle Ding, Michael Jennings, Amitayush Thakur, Swarat Chaudhuri
2018 B conf
Fast Algorithms for Computing Interim Allocations in Single-Parameter Environments.
PRIMA
Amy Greenwald, Jasper Lee, Takehiro Oyakawa
2014 J jnl
Medical imaging informatics simulators: a tutorial.
Int. J. Comput. Assist. Radiol. Surg.
H. K. Huang, Ruchi Deshpande, Jorge Documet, Anh H. Le, Jasper Lee, Kevin C. Ma, Brent J. Liu
2012 J jnl
A DICOM-based 2nd generation molecular imaging data grid implementing the IHE XDS-i integration profile.
Int. J. Comput. Assist. Radiol. Surg.
Jasper Lee, Jianguo Zhang, Ryan Park, Grant Dagliyan, Brent J. Liu, H. K. Huang
2011 J jnl
MIDG-Emerging grid technologies for multi-site preclinical molecular imaging research communities.
Int. J. Comput. Assist. Radiol. Surg.
Jasper Lee, Jorge Documet, Brent J. Liu, Ryan Park, Archana Tank, H. K. Huang
2007 B conf
A Computer-Aided Diagnostic System using a Global Data Grid Repository for the Evaluation of Ultrasound Carotid Images.
CCGRID
Marco Antonio Gutierrez, Silvia Helena Gelas Lage, Jasper Lee, Zheng Zhou