Automated reasoning, algorithm configuration, computational combinatorics.

M.S. Computer Engineering, New York University.

Canonicalization Leakage in Non-Equivariant Models

Models trained on canonicalized circuit representations achieve strong prediction (r = 0.788) but 0% invariance consistency. We decompose this into four orthogonal signal components to isolate the leakage mechanism.

Learned Control Layers for MaxSAT

First RL-based dynamic algorithm configuration for MaxSAT local search. PPO controller discovers an explore-then-exploit noise schedule, outperforming Bayesian-optimized static configuration (7/10 wins, p = 0.019).

Z3 Tactic Evolution

A fixed tactic string that improves Z3's solve rate on QF_NIA by +2.2pp on test and +4.3pp on validation, with zero solver modification. Cross-validated on 3 external benchmark families.

Dockerfile Doctor — The only Dockerfile linter that fixes what it finds. 80 rules, 51 auto-fixers, pure Python, zero dependencies.

Minecraft Modding — 3 published mods on CurseForge. Ported 9 mods to NeoForge/Forge 1.21.