Running
Asymptotic Optimality of the High-Dimensional Gaussian Mechanism and Improved Low-Dimensional Mechanisms for Differentia
🧪
Browse verified claims and evidence for research papers
🏗️ Building on HF
Lukas Lozada
neonforestmist
AI & ML interests
None yet
Recent Activity
updated a model 3 days ago
neonforestmist/smolgpt-fables updated a model 3 days ago
neonforestmist/Clover-Image-Tiny updated a model 5 days ago
neonforestmist/Clover-Image-Tiny-InpaintOrganizations
Running
Federated Causal Inference on Multi-Site Observational Data via Propensity Score Aggregation
🧪
Explore verified paper claims with linked evidence artifacts
Running
Diffusion Flow Matching: Dimension-Improved KL Bounds and Wasserstein Guarantees
🧪
Explore verified paper claims with linked evidence
Running
On the Theory of Continual Learning with Gradient Descent for Neural Networks
🧪
Explore verified research claims with linked evidence
Running
On the Computational Complexity of Performative Prediction
🧪
Explore verified claims and evidence for a research paper
Running
Collapsed Effective Operators for Higher-order Structures
🧪
Explore verified claims and evidence for a research paper
Running
Efficient Bayesian Inference from Noisy Pairwise Comparisons
🧪
Explore verified research claims with linked evidence files
Running
On the Power of (Approximate) Reward Models for Inference-Time Scaling: Sequential Monte Carlo and Beyond
🧪
Explore verified claims and evidence for a research paper
Running
Allocating Variance to Maximize Expectation
🧪
Explore verified paper claims and evidence artifacts
Running
Reinforcement Learning with Action-Triggered Observations
🧪
Explore verified research claims with linked evidence files
Running
Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models
🧪
Verify research paper claims with linked evidence artifacts
Running
Conditional Equivalence of DPO and RLHF: Assumptions, Failure Modes, and Provable Alignment
🧪
Verify research paper claims with linked evidence artifacts
Running
Alignment-Sensitive Minimax Rates for Spectral Algorithms with Learned Kernels
🧪
View claim verification status for a research paper
Running
Provably Data-driven Lagrangian Relaxation for Mixed Integer Linear Programming
🧪
Explore verified claims and evidence for a research paper
Running
Accurate Large-sample Uncertainty Quantification using Stochastic Gradient Markov Chain Monte Carlo
🧪
Browse verified claims and evidence for a research paper
Running
Asymptotically Fast Clebsch-Gordan Tensor Products with Vector Spherical Harmonics
🧪
Browse verified claims and evidence for a research paper
Running
Discovering Scaling Exponents with Physics-Informed Müntz-Szász Networks
🧪
Explore verified research claims with linked evidence
Running
Improved Stochastic Optimization of LogSumExp
🧪
Generate verified claim pages with linked evidence
Running
Floating-Point Networks with Automatic Differentiation Can Represent Almost All Floating-Point Functions and Their Gradi
🧪
Explore verified claims and evidence for a research paper
Running
Certificate-Guided Pruning for Stochastic Lipschitz Optimization
🧪
Browse verified claims and evidence for a research paper
Running
Compositional Behavioral Semantics for State Abstraction in Reinforcement Learning
🧪
Explore verified paper claims with linked evidence artifacts
Running
Accelerating Regression Tasks with Quantum Algorithms
🧪
Explore verified claims and evidence for a quantum regression paper
Running
A Graphop Analysis of Graph Neural Networks on Sparse Graphs: Generalization and Universal Approximation
🧪
Explore verified paper claims with linked evidence artifacts
Running
Language Generation with Replay: A Learning-Theoretic View of Model Collapse
🧪
Explore verified claims and evidence for a research paper