🏗️ Building on HF

Lukas Lozada

neonforestmist

1

·

AI & ML interests

None yet

Recent Activity

published a Space about 3 hours ago

neonforestmist/Placeholder32

published a Space about 5 hours ago

neonforestmist/Placeholder31

published a Space about 5 hours ago

neonforestmist/Placeholder30

View all activity

Organizations

neonforestmist 's Spaces 124

Placeholder32

Show a simple static webpage with a welcome message

Placeholder31

Create and edit a simple static web page in your Space

Placeholder30

Display and customize a simple static webpage

Lion Convergence — Exact CPU Audit

View experiment logs and sync with a coding agent

Alignment-Sensitive Minimax Rates — Reproduction

Verify research claims with reproducible CPU experiments

Anytime Strategic Deviations — Exact 12/12 CPU Audit

View and sync a strategic logbook with your AI agent

Agentic Theorem Prover Theory — Exact 12/12 CPU Reproduction

Collaborate with AI on a theorem‑proving logbook

Conditional Equivalence of DPO and RLHF — CPU Reproduction

Collaborate on a shared research logbook

Large-Sample SGMCMC Uncertainty Quantification Reproduction

Verify scientific claims of SGMCMC uncertainty quantification

Data-driven Lagrangian Relaxation — Exact-12 CPU Reproduction

Verify and reproduce Lagrangian relaxation research results

Belief Propagation Gaussian Convergence Reproduction

Explore research logbook and collaborate with an AI agent

Fast Clebsch-Gordan VSTP — Exact-12 CPU Reproduction

Explore project logbook and sync with coding agents

Kernel Distributional Closeness Testing Reproduction

Explore experiment logs and collaborate with an AI agent

Scaling Exponents MSN-PINN Reproduction

Explore research logbook and collaborate with an AI agent

Box Thirding Reproduction

Track and share research reproductions with AI assistance

UP-OCP — Exact-12 CPU Reproduction

Explore and sync experiment logs with an AI coding agent

Improved Stochastic LogSumExp Reproduction

Explore experiment logs and collaborate with an AI agent

Reproduction of Optimal and Scalable MAPF via MMOT and Schrödinger Bridges

Browse and collaborate on audit logbook in your browser

Reproduction: Formalizing and Falsifying Causal Pathways of Rare Events

Explore research logbooks and collaborate with an AI agent

Compact Conformal Subgraphs - scaled CPU repair

Browse experiment logs and collaborate with an AI agent

FTRL Potential Games — Exact Six-Claim CPU Reproduction

Explore research logbooks with interactive navigation

Repro - Adam on Degenerate Polynomials

Browse and share a research logbook with your coding agent

Repro - Catastrophic k-means failure

Browse and organize experiment logs, sync with AI agent

Reproduction: Fast Estimation for Forest Matrix of Signed Graphs

Explore research logbook and collaborate with an AI agent