Jasper Lee

According to our database, Jasper Lee authored at least 9 papers between 2007 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Introduction to the Minitrack on Body Sensor Networks and AI to Advance Personalized and Population Healthcare.

Charlotte Goldfine, Jasper Lee, Rachel Davis-Martin

Proceedings of the 59th Hawaii International Conference on System Sciences, 2026

2025

CLEVER: A Curated Benchmark for Formally Verified Code Generation.

Amitayush Thakur, Jasper Lee, George Tsoukalas, Meghana Sistla, Matthew Zhao, Stefan Zetzsche, Greg Durrett, Yisong Yue, Swarat Chaudhuri

CoRR, May, 2025

2024

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition.

George Tsoukalas, Jasper Lee, John Jennings, Jimmy Xin, Michelle Ding, Michael Jennings, Amitayush Thakur, Swarat Chaudhuri

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

Introduction to the Minitrack on Body Sensor Networks for Personalized Medicine.

Jasper Lee, Rachel Davis-Martin, Charlotte E. Goldfine

Proceedings of the 57th Hawaii International Conference on System Sciences, 2024

2018

Fast Algorithms for Computing Interim Allocations in Single-Parameter Environments.

Amy Greenwald, Jasper Lee, Takehiro Oyakawa

Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018

2014

Medical imaging informatics simulators: a tutorial.

H. K. Huang, Ruchi Deshpande, Jorge Documet, Anh H. Le, Jasper Lee, Kevin C. Ma, Brent J. Liu

Int. J. Comput. Assist. Radiol. Surg., 2014

2012

A DICOM-based 2nd generation molecular imaging data grid implementing the IHE XDS-i integration profile.

Jasper Lee, Jianguo Zhang, Ryan Park, Grant Dagliyan, Brent J. Liu, H. K. Huang

Int. J. Comput. Assist. Radiol. Surg., 2012

2011

MIDG-Emerging grid technologies for multi-site preclinical molecular imaging research communities.

Jasper Lee, Jorge Documet, Brent J. Liu, Ryan Park, Archana Tank, H. K. Huang

Int. J. Comput. Assist. Radiol. Surg., 2011

2007

A Computer-Aided Diagnostic System using a Global Data Grid Repository for the Evaluation of Ultrasound Carotid Images.

Marco Antonio Gutierrez, Silvia Helena Gelas Lage, Jasper Lee, Zheng Zhou

Proceedings of the Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2007), 2007