research

Deductive Verification vs. Model Checking for Physical Safety of a Feedback-Controlled Drone2026ongoing
codetalk
Northwestern Undergraduate Lean Lab2025ongoing
Formal Conjectures
Fourier Regularity and Energy-Landscape Roughness under Gaussian Smoothing2026ongoing

Analytic bounds linking smoothing scale to Fourier decay and optimization geometry, motivated by energy-based and score-based generative models.

Learning Modular Multiplication with Neural Networks2026ongoing

Training transformer scratchpads to learn modular multiplication for the SAIR Modular Arithmetic Challenge.

SENTINEL2025ongoing
codepaper