Reproduction: Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models
🎯
Explore project logs, code, and traces with AI collaboration
Srishti Saha PRO
Srishti280992
AI & ML interests
None yet
Recent Activity
updated a Space 8 minutes ago
Srishti280992/repro-why-agentic-theorem-prover-works-provability-theory updated a Space 17 minutes ago
Srishti280992/repro-efficiently-learning-drifting-halfspaces-with-massart-noise updated a Space 26 minutes ago
Srishti280992/repro-neural-quantum-states-in-mixed-precisionOrganizations
updated a
Space 8 minutes ago
updated a
Space 17 minutes ago
updated a
Space 26 minutes ago
updated a
Space 29 minutes ago
updated 4
Spaces about 1 hour ago
Reproduction: Optimal Design for Multinomial Logit Model with Applications to Best Assortment Identification
🎯
Explore code logs, traces, and workspace interactively
Reproduction: A Geometric Analysis of Small-sized Language Model Hallucinations
🎯
Track and view experiment logs with an interactive workspace
Reproduction: A Stronger Benchmark for Online Bilateral Trade: From Fixed Prices to Distributions
🎯
Explore code logs, traces, and workspace in an interactive logbook
Reproduction: Colorful Pinball: Density-Weighted Quantile Regression for Conditional Guarantee of Conformal Prediction
🎯
Explore and manage project logs, code, and traces
published a
Space about 1 hour ago
updated 2
Spaces about 2 hours ago
published a
Space about 2 hours ago
updated 6
Spaces about 2 hours ago
Reproduction: Optimal and Scalable MAPF via Multi-Marginal Optimal Transport and Schrödinger Bridges
🎯
Explore project logs, code, and traces in an interactive web logbook
Reproduction: Model-Free Robust Average-Reward Reinforcement Learning with Sample Complexity Analysis
🎯
Explore and organize experiment logs, code, and traces online
Reproduction: Linear Bandits beyond Inner Product Spaces, the case of Bandit Optimal Transport
🎯
Explore experiment logs, code, and traces in a web UI
Reproduction: Model Monotonicity in Autobidding Auctions: When Do Better Predictions Lead to Better Outcomes?
🎯
Explore experiment logs and collaborate with an AI agent
Reproduction: The Implicit Bias of Adam and Muon on Smooth Homogeneous Neural Networks
🎯
Explore code, traces, and workspace in an interactive logbook
Reproduction: Evaluating Bivariate Causal Statements Based on Mutual Compatibility
🎯
Explore and manage experiment logs and code traces
published a
Space about 2 hours ago
updated a
Space about 2 hours ago