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 Space 13 days ago
Eishaan/repro-fixed-budget-no-harder-than-fixed-confidence-bai updated a dataset 13 days ago
Eishaan/repro-fixed-budget-no-harder-than-fixed-confidence-bai-traces published a Space 13 days ago
Eishaan/repro-fixed-budget-no-harder-than-fixed-confidence-baiOrganizations
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).