Eishaan/repro-ai4slt-empirical-processes-lean-4-artifacts
7.71 MB
Eishaan Khatri
Eishaan
·
AI & ML interests
None yet
Recent Activity
updated a collection 10 days ago
ICML 2026 Repro - Why Self-Training Helps and Hurts updated a dataset 10 days ago
Eishaan/selfdistill-cifar-repro published a dataset 10 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
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
spaces 7
Running
Repro - Why Self-Training Helps and Hurts: Denoising vs. Signal Forgetting
🎯
Explore your project logbook and collaborate with an AI agent
Running
Repro - AI4SLT: Empirical Processes in Lean 4 for Formal Statistical Learning Theory
🎯
Explore research logbook and collaborate with an AI agent
Running
Repro - Robust Linear Dueling Bandits with Post-serving Context under Unknown Delays and Adversarial Corruptions
🎯
Explore experiment logs and collaborate with an AI agent
Running
Repro - To Grok Grokking: Provable Grokking in Ridge Regression
🎯
Browse and collaborate on experiment logbooks
Sleeping
1
Verity Ranker
🚀
Explore precomputed hiring rankings with detailed candidate insights
Sleeping
RL
1
SQL Migration Agent Benchmark
🗄
Run SQLite migration benchmarks and get graded results
models 0
None public yet