🔄 In a Training Loop

SSH PRO

ProCreations

·

https://ssh.codes

AI & ML interests

Making AI’s small, accessible, and easy to run on consumer hardware

Recent Activity

updated a Space about 3 hours ago

ProCreations/repro-provably-data-driven-lagrangian-relaxation-for-mixed-integer-linear-programming

repliedto their post about 5 hours ago

baby Grug here! baby Grug can run on phone with less tokens used while maintaining most performance. https://huggingface.co/ProCreations/grug-3b https://huggingface.co/ProCreations/grug-3b-gguf https://huggingface.co/ProCreations/grug-3b-qat-q4-gguf

repliedto their post about 6 hours ago

what should i do for 200 followers... hmmmm... top reply to this post (most emojis) wins, just not anything too crazy

View all activity

Organizations

ProCreations 's Spaces 223

Reproduction - Efficient Neural Controlled Differential Equations via Attentive Kernel Smoothing

Five-seed source-native attentive-kernel NCDE audit

Reproduction - Riemannian Dueling Optimization

Direct RDNGD, RRDNGD, RDFW, sphere and SPD audit

Reproduction - Differentiable Conformal Training for LLM Reasoning Factuality

Native released-data DCF audit; 6/6 claims supported

Reproduction - Scalable Bayesian Inference for Nonlinear Conservation Laws

Source-native paper-scale GP-FVM reproduction

Reproduction - Rethinking Code Complexity Through the Lens of LLMs

Exact-commit LM-CC evidence audit

Reproduction - MASH: Pay-Per-Search Models are Abstention Models

Full-release MASH claim audit

Reproduction Unifying Low Dimensional Spectra

Explore and reproduce low‑dimensional spectral data online

Reproduction - Amortized Variational Inference for Partial-Label Learning

Full-release ViPll mechanism, result, and ablation audit

Reproduction - Skewness-Robust Causal Discovery

Full released-run audit of six SkewD claims

Reproduction - FloorplanQA Spatial Reasoning Audit

Full 2,000-layout, eight-task FloorplanQA v4 claim audit

Reproduction - FormulaCode Agentic Optimization on Large Codebases

Full released-data audit of six FormulaCode claims

Reproduction - Learning to Bet for Horizon-Aware Anytime-Valid Testing

Finite-horizon betting theorem and source-figure audit

Reproduction - Infinite Mask Diffusion for Few-Step Distillation

Exact factorization-bound and source-table audit

Reproduction - Planar Symmetric Pattern Generation

All-17 native symmetry, VTM and metamaterial reproduction

Reproduction - The Geometry of Projection Heads: Conditioning, Invariance, and Collapse

Direct released-data projection-head geometry reproduction

Reproduction - Neural Quantum States in Mixed Precision

Native released NQS reproduction; 6/6 claims supported

Reproduction A Fully First-Order Layer for Differentiable Optimization

View reproducibility evidence for a research paper

Repro - Positive Distribution Shift Theorem Audit

View and collaborate on an audit logbook

Reproduction Solving Imperfect-Recall Games via SOS

Browse project logbook and sync notes with an AI agent

Context-free transformers: native recognizer audit

Browse and collaborate on a research logbook online

Reproduction - A Game-Theoretic Analysis of Attacks on Large Language Models via Compositional Skills

Explore and collaborate on research logbooks

Reproduction Learning-Augmented Online Covering Problems

Explore and edit a research logbook with AI assistance

Reproduction - Stability and Generalization of Nonconvex Optimization with Heavy-Tailed Noise

Explore experiment logs and collaborate with an AI agent

Reproduction: (Doubly) Exponential FTRL Lower Bounds

Explore and edit a research logbook with AI collaboration