🩵 123

Alex

snaykey

3 8

·

AI & ML interests

AI Safety & Redteaming

Recent Activity

liked a model 2 days ago

audnai/penclaw-Kimi-K3.0-abliterated-GGUF

updated a Space 3 days ago

snaykey/repro-sample-compressible-noise

updated a Space 3 days ago

snaykey/repro-vdw-gnns

View all activity

Organizations

snaykey 's Spaces 299

Reproduction: Bregman meets Lévy — SMD with Heavy-Tailed Noise

View and sync experiment logbook with an AI agent

Reproduction: Convex Distance Operator Transport (CDOT)

Explore and sync experiment logbook with your AI agent

Reproduction: Non-Euclidean Gradient Descent Operates at the Edge of Stability

Browse research logbooks and collaborate with an AI agent

Reproduction: Approximation Preserving Coresets

Browse research logbook and sync findings with an AI agent

Reproduction: Rotation-Invariant Spherical Watermarking via Third-Order SO(3) Representation Coupling

Explore research logbook and sync findings with your coding agent

Reproduction: Variational inference via Gaussian interacting particles in the Bures-Wasserstein geometry

Explore and collaborate on research logbooks

Reproduction: Anytime Safe PAC Efficient Reasoning

Collaborate with an AI agent to view and edit a logbook

Reproduction: Language Generation with Replay: A Learning-Theoretic View of Model Collapse

Collaborate with an AI agent on a shared logbook

Reproduction: On the Expressive Power of Permutation-Equivariant Weight-Space Networks

Explore and collaborate on research logbooks online

Reproduction: Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models

Explore research logbook and sync AI‑generated findings

Reproduction: Momentum Further Constrains Sharpness at the Edge of Stochastic Stability

Explore and collaborate on research logbooks online

Reproduction: On the Sharp Input-Output Analysis of Nonlinear Systems under Adversarial Attacks

Repro: Deep Networks Learn to Parse Context-Free Languages from Local Statistics

Collaborate on a coding logbook with your AI agent

Reproduction: Efficiently Solving Discounted MDPs with Predictions on Transition Matrices

Explore research logbook and sync with AI agent

Reproduction: Minimizing Upper Confidence Bounds - A Data-Driven Framework for Stochastic Programming

Browse experiment logs and sync findings with a coding agent

Reproduction: Robust AI Evaluation through Maximal Lotteries

Explore and collaborate on AI experiment logbooks online

Reproduction: The Optimal Sample Complexity of Linear Contracts

Explore a research logbook and sync notes with an AI agent

Reproduction: Causal Matrix Completion under Multiple Treatments via Mixed Synthetic Nearest Neighbors

Explore a research logbook and sync findings with an AI agent

Reproduction: Provably Data-driven Multiple Hyper-parameter Tuning with Structured Loss Function

Explore experiment logs and sync findings with an AI agent

Reproduction: Efficiently Learning Drifting Halfspaces with Massart Noise

Explore and collaborate on a research logbook with an AI agent

Reproduction: Corruption-Tolerant Asynchronous Q-Learning with Near-Optimal Rates

Reproduction: Black-Box Assisted Regression: Phase Transitions and Minimax Optimality

Browse and collaborate on research logbooks online

Repro: Accuracy-First Rényi Differential Privacy and Post-Processing Immunity

Explore and collaborate on a research logbook online

Formalizing and Falsifying Causal Pathways of Rare Events

Collaborate with an AI agent to log and sync research findings