Publications and Preprints
Pure Mathematics
Resolution of indeterminacy of rational maps to proper tame stacks. Preprint, arXiv:2506.14969. Submitted.
Applied Mathematics / Computer Science
SHADOWBENCH: Toward Reliable Automatic Evaluation of Semantic Alignment in Autoformalization. arXiv:2608.29270. To appear at EMNLP 2026
Document Image Dewarping Method based on 3D Reconstruction and Text Boundary Rectification. J. Korea Inst. Inf. Commun. Eng., vol. 28 (2024), no. 5, 571-583
In Preparation
Compactification of torsors under reductive groups. (with Dori Bejleri)
Thesis