Publications

Theoretical computer science papers list authors alphabetically; these are marked [alphabetical author order]. [lead author] marks papers where I led the core technical work. See also Google Scholar.

Under Review

TCS-Bench: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability
V. Cohen-Addad, D. Paparas, E. van Wijland, M. Springer, et al.
Under review at ICLR 2027

The Geometry of Alignment Collapse: When Fine-Tuning Breaks Safety
M. Springer, C.P. Lee, B. Metevier, J. Castleman, B. Turbal, H. Jung, Z. Shen, A. Korolova
Under review at NeurIPS 2026

Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics
A.S. Moakhar, I. Gholami, M. Springer, M. JafariRaviz, M.T. Hajiaghayi
Under review at NeurIPS 2026

The Geometry of Empowerment in Large Language Models
K. MacDonald, M. Springer, P. Henderson
Under review at NeurIPS 2026

Beyond the Half-Approximation: Fair and Efficient Online Class Matching
S. Borst, M. Springer
Under review at NeurIPS 2026

Hedging Contracts: The Power of Redundancy
T. Ponitka, S. Shin, M. Springer
Under review at SODA 2027 [alphabetical author order]

Conference Papers

Greedy Coordinate Diffusion: Effective and Semantically Coherent Adversarial Attacks via Diffusion Guidance
B. Turbal, B. Metevier, M. Springer, A. Korolova
ICML 2026

Verifying Alignment Constraints Under Finite-Sample Uncertainty with Inferred Data
B. Metevier, M. Springer, B. Turbal
EAAMO 2026 [Oral]

Measuring Validity in LLM-based Resume Screening
J. Castleman, Z. Shen, B. Metevier, M. Springer, A. Korolova
IASEAI 2026

Bi-Criteria Metric Distortion
K. Banihashem, D. Chakraborty, S.C. Jahan, I. Gholami, M.T. Hajiaghayi, M. Mahdavi, M. Springer
ICLR 2026 [alphabetical author order]

Fairness and Efficiency in Online Class Matching
M.T. Hajiaghayi, S.C. Jahan, M. Sharifi, S. Shin, M. Springer
NeurIPS 2024 [alphabetical author order; lead author]

Dynamic Metric Embedding into lp Space
K. Banihashem, M.T. Hajiaghayi, D.R. Kowalski, J. Olkowski, M. Springer
ICML 2024 [alphabetical author order]

Almost Envy-Free Allocations of Indivisible Goods or Chores with Entitlements
M.T. Hajiaghayi, M. Springer, H. Yami
AAAI 2024 [alphabetical author order; lead author]

Fair, Polylog-Approximate Low-Cost Hierarchical Clustering
M. Knittel, M. Springer, J.P. Dickerson, M.T. Hajiaghayi
NeurIPS 2023

An Improved Relaxation for Oracle-Efficient Adversarial Contextual Bandits
K. Banihashem, M.T. Hajiaghayi, S. Shin, M. Springer
NeurIPS 2023 [alphabetical author order]

Generalized Reductions: Making any Hierarchical Clustering Fair and Balanced with Low Cost
M. Knittel, M. Springer, J.P. Dickerson, M.T. Hajiaghayi
ICML 2023

Analysis of a Learning Based Algorithm for Budget Pacing
M.T. Hajiaghayi, M. Springer
AAMAS 2023 [alphabetical author order; lead author]

Optimal Sparse Recovery with Decision Stumps
K. Banihashem, M.T. Hajiaghayi, M. Springer
AAAI 2023 [alphabetical author order]

Online Algorithms for the Santa Claus Problem
M.T. Hajiaghayi, M.R. Khani, D. Panigrahi, M. Springer
NeurIPS 2022 [alphabetical author order; lead author]

Workshop Papers

Towards Statistical Verification of Fairness in Agentic Alignment
B. Metevier, M. Springer, B. Turbal, A. Korolova
ICLR 2026 Workshop

Towards Statistical Verification for Trustworthy AI
B. Metevier, M. Springer, B. Turbal, A. Korolova
ICLR 2026 Workshop

Less is More: Adaptive Coverage for Synthetic Training Data
S. Tavakkol, M. Springer, M.H. Bateni, N. Bulut, V. Cohen-Addad, M.T. Hajiaghayi
ICLR 2026 Workshop [lead author]

SYNAPSE-G: Bridging Large Language Models and Graph Learning for Rare Event Classification
S. Tavakkol, L. Chen, M. Springer, A. Schantz, B. Bratanič, V. Cohen-Addad, M.H. Bateni
ICLR 2026 Workshop [lead author]

Positive Mining from LLM Seeds: A Semi-Supervised Graph Based Approach to Train Rare Event Classifiers
S. Tavakkol, L. Chen, M. Springer, A. Schantz, B. Bratanič, V. Cohen-Addad, M.H. Bateni
KDD 2025 Workshop [lead author]

Journal Papers (prior work in computational neuroscience and mathematical biology)

A Mathematical Model-Derived Disposition Index Without Insulin Validated in Youth With Obesity
J. Ha, J.Y. Kim, M. Springer, A. Chhabra, S.T. Chung, A.E. Sumner, A.S. Sherman, S. Arslanian
JCEM 2025

Estimating Insulin Sensitivity and Beta-Cell Function from the Oral Glucose Tolerance Test: Validation of a New Insulin Sensitivity and Secretion (ISS) Model
J. Ha, S.T. Chung, M. Springer, J.Y. Kim, et al.
AJP-Endo 2024

A Machine-Learning Approach for Predicting Impaired Consciousness in Absence Epilepsy
M. Springer, A. Khalaf, P. Vincent, J.H. Ryu, Y. Abukhadra, S. Beniczky, T. Glauser, H. Krestel, H. Blumenfeld
ACTN 2022

The Pulse: Transient fMRI Signal Increases in Subcortical Arousal Systems During Transitions in Attention
R. Li, J.H. Ryu, P. Vincent, M. Springer, D. Kluger, E.A. Levinsohn, Y. Chen, H. Chen, H. Blumenfeld
NeuroImage 2021

Patents

Adaptive Coverage Sampling for Synthetic Training Data
M.H. Bateni, N. Bulut, V. Cohen-Addad, M.T. Hajiaghayi, M. Springer, S. Tavakkol
U.S. Provisional Patent Application, 2026 [alphabetical author order]