Picture for Harrison Goldstein

Harrison Goldstein

Making Written Theorems Explorable by Grounding Them in Formal Representations

Add code
Apr 03, 2026
Viaarxiv icon

Abstractions for AI-Based User Interfaces and Systems

Add code
Sep 14, 2017
Viaarxiv icon