Running
High-Dimensional Learning Dynamics of Quantized Models with Straight-Through Estimator
🧪
Explore verified paper claims with linked evidence
Lukas Lozada PRO
neonforestmist
AI & ML interests
Image generation and on-device AI
Recent Activity
updated a dataset 3 days ago
neonforestmist/GPT_Storybook_Anime_Style_Images updated a dataset 3 days ago
neonforestmist/GPT_Watercolor_Anime_Style_Images updated a dataset 6 days ago
neonforestmist/GPT_Pointillism_Style_ImagesOrganizations
Running
Let the Prototype Guide You: Robust Aggregation of Sparse Multi-Class Annotations via Annotator Prototype Learning
🧪
Aggregate sparse multi‑class crowd labels via prototype learning
Running
Convergence Rate of the Last Iterate of Stochastic Proximal Algorithms
🧪
Explore verified claims of a research paper with linked evidence
Running
Curated Synthetic Data Doesn’t Have to Collapse: A Theoretical Study of Generative Retraining with Pluralistic Preferenc
🧪
Explore verified research claims with linked evidence
Running
Approximate Proportionality in Online Fair Division
🧪
Explore verified claims and evidence for a research paper
Running
No Free Lunch: Non-Asymptotic Analysis of Prediction-Powered Inference
🧪
Explore verified claims and evidence for a research paper
Running
On the Provable Suboptimality of Momentum SGD in Nonstationary Stochastic Optimization
🧪
Explore verified claims and evidence for research papers
Running
Gaussian Mean Field Variational Inference can Overestimate Predictive Variance
🧪
Explore verified claims and evidence for a research paper
Running
Asymptotically Optimal Sequential Testing with Markovian Data
🧪
Browse verified claims and evidence for a research paper
Running
Understanding Generalization and Forgetting in In-Context Continual Learning
🧪
Explore verified claims and evidence for a research paper
Running
Operator Splitting with Hamilton-Jacobi-based Proximals
🧪
Explore verified research claims with linked evidence
Running
Fine-Tuning Without Forgetting In-Context Learning: A Theoretical Analysis of Linear Attention Models
🧪
Generate paper-style claim pages with linked evidence
Running
Dimension-Independent Convergence of Underdamped Langevin Monte Carlo in KL Divergence
🧪
Explore verified paper claims with linked evidence
Running
Exact Functional ANOVA Decomposition for Categorical Inputs Models
🧪
Browse verified claims and evidence for a research paper
Running
Dropout Universality: Scaling Laws and Optimal Scheduling at the Edge-of-Chaos
🧪
Explore verified research claims and their evidence
Running
On Densest $k$-Subgraph Mining and Diagonal Loading: Optimization Landscape and Finite-Step Exact Convergence Analysis
🧪
Explore verified claims and evidence for a research paper
Running
CAffNet: Hard Constraint-Affine Neural Networks
🧪
Explore verified claims of the CAffNet research paper
Running
Quantifying LLM Attention-Head Stability: Implications for Circuit Universality
🧪
Explore verified claims of a research paper
Running
Any-dimensional invariant universality
🧪
Explore verified research claims with linked evidence artifacts
Running
Adaptive Multi-Round Allocation with Stochastic Arrivals
🧪
Browse verified research claims with linked evidence
Running
Can Adaptive Gradient Methods Converge under Heavy-Tailed Noise? A Case Study of AdaGrad
🧪
Explore verified research claims with linked evidence artifacts
Running
Improved Analysis of the Accelerated Noisy Power Method with Applications to Decentralized PCA
🧪
Explore verified research claims with linked evidence
Running
Near-Optimal and Efficient First-Order Algorithm for Multi-Task Learning with Shared Linear Representation
🧪
Browse verified paper claims with linked evidence
Running
neonforestmist/repro-distributed-direct-preference-optimization
🧪
Explore verified claims and evidence for a research paper