Scholar
Jonathan Chan
Google Scholar ID: dR8doS8AAAAJ
University of Pennsylvania
programming languages
type theory
dependent types
proof assistants
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
25
H-index
3
i10-index
0
Publications
6
Co-authors
3
list available
Publications
5 items
Prompt Compression in Diffusion Large Language Models: Evaluating LLMLingua-2 on LLaDA
2026
Cited
0
Graph Fusion Across Languages using Large Language Models
2026
Cited
0
Internalizing Extensions in Lattices of Type Theories
2025
Cited
0
Development of a Mobile Application for at-Home Analysis of Retinal Fundus Images
2025
Cited
0
Bounded First-Class Universe Levels in Dependent Type Theory
2025
Cited
0
Co-authors
3 total
Stephanie Weirich
Professor of Computer Science, University of Pennsylvania
William J. Bowman
University of British Columbia
Jessica Shi
PhD Student, University of Pennsylvania
