Running Reproduction - APORIA Hallucination Geometry 🧭 APORIA full-data geometry and label-propagation reproduction
Running Reproduction - Learning in Structured Stackelberg Games 🎯 Explore and collaborate on a structured research logbook
Running Reproduction - Allocating Variance to Maximize Expectation 🎯 Explore and collaborate on research logs with an AI agent
Running Reproduction - Budget-Feasible Mechanisms for Submodular Welfare Maximization in Procurement Auctions 🎯 Collaborate on experiment logs with an AI assistant
Running Reproduction - Implicit Bias of Adam and Muon 🧭 Explore research logbooks and collaborate with an AI agent
Running Reproduction - Maximin Relative Improvement ⚖ Maximin relative-improvement fair-learning audit
Running Reproduction - Fair Decisions from Calibrated Scores ⚖ Exact sufficient classifiers and fairness geometry
Running Reproduction - Last-Iterate Stochastic Proximal Rates 📉 Last-iterate rates, graph proximal, and variance audit
Running Reproduction - Do-Calculus Derivation Graphs 🧭 Exact do-calculus paths, commutativity, and Sachs audit
Running Reproduction - GRPO Effective Loss and Success Amplification 🎯 Exact GRPO dynamics, amplification, and error-bound audit
Running Repro - To Grok Grokking: Provable Grokking in Ridge Regression 🎯 Explore and sync research notes with an AI coding agent
Running Reproduction Sampling and Identity-Testing Without Approximate Tensorization of Entropy 🎯 View and collaborate on a research logbook
Running Reproduction - Sharp Empirical Bernstein Variance Bounds 🎯 Browse a research logbook and sync notes with an AI agent
Running Reproduction - Theoretical Investigation on Inductive Bias of Isolation Forest 🌲 Browse and sync research logbook with AI agent
Running Reproduction — Bridging the Gap Between Average and Discounted TD Learning 🌉 Explore experiment logs and collaborate with a coding agent
Running Reproduction - Compressed Decentralized OCO 📡 Compressed decentralized online-optimization audit
Running Reproduction - Latent Agentic Substructures 🧠 Audit of latent agentic substructures in neural networks