Space, dataset, and adapter for Sophia's provenance-aware Wisdom Gate.
Yim PRO
tomyimkc
AI & ML interests
None yet
Recent Activity
updated a Space 26 days ago
tomyimkc/memorystand published a Space 26 days ago
tomyimkc/memorystand updated a Space 30 days ago
tomyimkc/goai-verification-frontierOrganizations
spaces 190
pinned
Running
LedgerLens Incident Commander
🚨
DataHub incident plans sealed by deterministic policy.
pinned
Sleeping
Agents
验证边界 Verification Frontier
🛡
Safely Catching Logic Errors in LLM Scientific Reasoning
pinned
Running
Sophia AGI Training Observatory
🔭
Running
MemoryStand
🧾
Memory for AI agents that must prove it worked.
Build error
GOAI Verification Frontier
🔒
Running
Polygraph — Arm64 cloud inference verification
🚀
Verify Arm64 inference path before deployment
datasets 20
tomyimkc/repro-ski-rental-with-distributional-predictions-of-unknown-quality-traces
Traces • Updated • 1 • 42
tomyimkc/repro-learning-the-best-under-constraints-a-duality-based-framework-traces
Traces • Updated • 92 • 33
tomyimkc/repro-decentralized-bandits-without-global-clock-for-dynamic-matching-market-traces
Traces • Updated • 125 • 34
tomyimkc/repro-probabilistic-bisection-algorithm-provably-achieves-exponential-convergence-traces
Traces • Updated • 125 • 42
tomyimkc/repro-on-structured-state-space-duality-traces
Traces • Updated • 1 • 40
tomyimkc/repro-dimension-independent-convergence-of-underdamped-langevin-monte-carlo-in-kl-dive-traces
Traces • Updated • 1 • 45
tomyimkc/repro-on-regret-bounds-of-thompson-sampling-for-bayesian-optimization-traces
Traces • Updated • 1 • 52
tomyimkc/repro-high-probability-convergence-guarantees-of-decentralized-sgd-traces
Traces • Updated • 1 • 40
tomyimkc/repro-sample-complexity-bounds-for-robust-mean-estimation-with-mean-shift-contaminatio-traces
Traces • Updated • 1 • 41
tomyimkc/repro-sharp-inequalities-between-total-variation-and-hellinger-distances-for-gaussian-traces
Traces • Updated • 1 • 45