Reproduction artifacts for ICML 2026 paper VnA5q5jXVz (arXiv 2602.14029): linear-regression theory + ResNet-50/CIFAR-10 self-distillation.
Eishaan Khatri
Eishaan
·
AI & ML interests
None yet
Recent Activity
updated a collection 11 days ago
ICML 2026 Repro - Why Self-Training Helps and Hurts updated a dataset 11 days ago
Eishaan/selfdistill-cifar-repro published a dataset 11 days ago
Eishaan/selfdistill-cifar-reproOrganizations
Repro: AI4SLT — Empirical Processes in Lean 4 (ICML 2026)
Reproduction of arXiv:2602.02285: clean-env build + no-sorry/no-axiom audit of the SLT Lean 4 library.
- Running
Repro - AI4SLT: Empirical Processes in Lean 4 for Formal Statistical Learning Theory
🎯Explore research logbook and collaborate with an AI agent
-
Eishaan/repro-ai4slt-empirical-processes-lean-4-artifacts
7.71 MB -
Statistical Learning Theory in Lean 4: Empirical Processes from Scratch
Paper • 2602.02285 • Published
Repro: To Grok Grokking (ICML 2026 #17708)
Independent CPU-only reproduction of all 5 claims of To Grok Grokking: Provable Grokking in Ridge Regression (arXiv 2601.19791).
ICML 2026 Repro - Why Self-Training Helps and Hurts
Reproduction artifacts for ICML 2026 paper VnA5q5jXVz (arXiv 2602.14029): linear-regression theory + ResNet-50/CIFAR-10 self-distillation.
Repro: AI4SLT — Empirical Processes in Lean 4 (ICML 2026)
Reproduction of arXiv:2602.02285: clean-env build + no-sorry/no-axiom audit of the SLT Lean 4 library.
- Running
Repro - AI4SLT: Empirical Processes in Lean 4 for Formal Statistical Learning Theory
🎯Explore research logbook and collaborate with an AI agent
-
Eishaan/repro-ai4slt-empirical-processes-lean-4-artifacts
7.71 MB -
Statistical Learning Theory in Lean 4: Empirical Processes from Scratch
Paper • 2602.02285 • Published
RCDP-UCB Reproduction ICML 2026
Reproduction of Robust Linear Dueling Bandits with Post-serving Context (arXiv:2605.01752, OpenReview RaJnDY8aAS).
Repro: To Grok Grokking (ICML 2026 #17708)
Independent CPU-only reproduction of all 5 claims of To Grok Grokking: Provable Grokking in Ridge Regression (arXiv 2601.19791).