Sotabase
Home
Researchers
Career
·
Researcher at PLUM
,
University of Maryland, College Park
2024–
·
PhD Student
,
PLUM @ UMD
2020–
·
Senior Software Engineer
,
Stratasys
2016–
Publications
(7)
Deeper Shallow Embeddings
International Conference on Interactive Theorem Proving · 2022
2
cited
Merging Inductive Relations
Proc. ACM Program. Lang. · 2023
2
cited
A Muffin-Theorem Generator
Fun with Algorithms · 2018
1
cited
Mathematical Muffin Morsels
Problem Solving in Mathematics and Beyond · 2020
1
cited
Pantograph: A Fluid and Typed Structure Editor
Proc. ACM Program. Lang. · 2024
1
cited
Guest Column: The Muffin Problem
SIGA · 2019
The Muffin Problem
2017
Sotabase
Jacob Prinz | Researcher Profile | Sotabase | Sotabase