Eishaan/repro-ai4slt-empirical-processes-lean-4-artifacts
7.71 MB
Eishaan Khatri
Eishaan
·
AI & ML interests
None yet
Recent Activity
updated a Space 11 days ago
Eishaan/repro-fixed-budget-no-harder-than-fixed-confidence-bai updated a dataset 11 days ago
Eishaan/repro-fixed-budget-no-harder-than-fixed-confidence-bai-traces published a Space 12 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
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 10
Running
Reproduction: Fixed Budget is No Harder Than Fixed Confidence in Best-Arm Identification up to Logarithmic Factors
🎯
Explore and manage project logs with an interactive web UI
Running
Reproduction: Revisiting Zeroth-Order Hessian Approximation: A Single-Step Policy Optimization Lens
🎯
Explore code, traces, and workspace with AI collaboration
Running
Reproduction: Revisiting Zeroth-Order Hessian Approximation: A Single-Step Policy Optimization Lens
🎯
Browse experiment logs, traces, and workspace online
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
models 0
None public yet
datasets 7
Eishaan/repro-fixed-budget-no-harder-than-fixed-confidence-bai-traces
Traces • Updated • 1 • 95
Eishaan/repro-revisiting-zeroth-order-hessian-approximation-traces
Traces • Updated • 2 • 67
Eishaan/repro-revisiting-zeroth-order-hessian-approximation-policy-lens-traces
Traces • Updated • 2 • 69
Eishaan/selfdistill-repro-bundle
Preview • Updated • 221
Eishaan/selfdistill-cifar-repro
Viewer • Updated • 1 • 125
Eishaan/rcdp-dueling-bandits-repro
Preview • Updated • 163
Eishaan/icml17708-grok-grokking-repro
Viewer • Updated • 14 • 233