Running
Repro - AI4SLT: Empirical Processes in Lean 4
🎯
Explore and collaborate on experiment logbooks online
Dinesh Jinjala
DineshAI
·
AI & ML interests
None yet
Recent Activity
updated a Space about 4 hours ago
DineshAI/repro-accurate-evaluation-of-quickest-changepoint-detectors-via-non-parametric-survival-analysis published a Space about 4 hours ago
DineshAI/repro-accurate-evaluation-of-quickest-changepoint-detectors-via-non-parametric-survival-analysis published a Space about 4 hours ago
DineshAI/l6KZJO7w48Organizations
Running
Repro - Adaptive Multi-Round Allocation with Stochastic Arrivals
🎯
Collaborate on experiment logs with an AI coding agent
Running
Repro - Finding Most Influential Sets
🎯
Explore and manage findings with an AI‑assisted logbook
Running
Repro - Barriers to Counterfactual Credit Attribution
🎯
Track research findings and sync with an AI agent
Running
Repro - SG-ROT Symmetry Optimal Transport
🎯
Collaborate with a coding agent via a shared logbook
Running
FluxNet: feasible transport guarantees
🎯
Browse and share a project logbook with your coding agent
Running
Repro - Approximate Proportionality in Online Fair Division (4T8vEVK79x)
🎯
Explore and sync research logbook with your coding agent
Running
Repro - Rotary Position Encodings for Graphs
🎯
Collaborate on project logs with an AI coding assistant
Running
Repro - Branch-and-Cut Instability
🎯
Explore and collaborate on project logs in a web logbook
Running
Repro - Well-Posed KL-Regularized Control
🎯
Explore and share experiment logs with an AI agent
Running
Repro - Lower Bounds for Frank-Wolfe (3KX1xU2bCC)
🎯
Explore experiment logs and sync findings with an AI agent
Running
Repro - No Free Lunch: Prediction-Powered Inference
🎯
View and sync inference logs with your coding agent
Running
Repro - Provably Data-driven Lagrangian Relaxation (OwLuqetJuB)
🎯
Explore and collaborate on your project logbook
Running
Repro - Physics-Informed Müntz-Szász Networks (PVaFEuNnsD)
📐
Collaborate with an AI agent using a searchable experiment logbook
Running
Repro - Tight Error Feedback Theory (dyRD6lBH8K)
🎯
View and share project logbook with an AI agent
Running
Repro - QUBO Multi-Linear Relaxation (Pf2erYy0yY)
🔢
Explore and sync your experiment logbook with an AI agent
Running
Repro - Reward Shaping Control Variates (potpaozpjv)
🎲
Explore experiment logs and collaborate with an AI agent
Running
POMDP Value-Function Geometry: Complete Claim Audit
🎯
Explore and collaborate on a project logbook
Running
Transformer circuits: exact clustering updates
🎯
Explore and sync logbook entries with a coding agent
Running
Repro - Attention Implements the Fisher Geometry of Exponential Families
🔭
Explore and collaborate on a research logbook with an AI agent
Running
Reproduction: Constrained Adaptive Rejection Sampling
🎯
Browse experiment logbook and sync with coding agent
Running
Repro - Improved Stochastic Optimization of LogSumExp (TzQElzflxR)
🧮
Track experiment notes and collaborate with an AI agent
Running
Repro - LC-PB-SCM Identifiability (73YmKB7KpW)
🎯
Explore experiment logs and sync findings with an AI agent
Running
Repro - Zero-Flow Encoders
🎯
Browse and collaborate on a project logbook online