Skip to content
View kadubon's full-sized avatar

Block or report kadubon

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. github.io github.io Public

    Personal site for independent research on observable-only, no-meta, and future autonomous AI.

    HTML

  2. observable-replay-lab observable-replay-lab Public

    Observable-only no-meta epistemics lab: deterministic replay + reproducible audit logs, gate-based growth simulation, and identifiability/uncertainty benchmarks.

    TeX

  3. Proof-Carrying-Skills--PCS-Core- Proof-Carrying-Skills--PCS-Core- Public

    Deterministic verifier and reference implementation for Proof-Carrying Skills (PCS-Core) and compute-saving inference reuse for AI/LLMs.

    Python

  4. audit-closed-ai-scientist audit-closed-ai-scientist Public

    Benchmark for statistically valid AI scientist systems, using audit-closed protocols, transparency logs, and sequential inference to prevent false discoveries in autonomous research agents.

    Python

  5. search-stability-lab search-stability-lab Public

    Theory-to-experiment lab for search stability in long-running agents under finite context, with exact simulator tests and lightweight mechanistic probe tasks.

    Python

  6. split-inference-bench split-inference-bench Public

    Fixed-budget multi-agent inference benchmark harness for studying when split inference helps or hurts versus a strong single-agent baseline under local context ceilings, using local Ollama gemma3:1…

    Python