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 is supported. This note will only be visible to 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. 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

  3. 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 1

  4. 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 1

  5. frontier-transfer-certifier frontier-transfer-certifier Public

    Fail-closed certification toolkit for small-to-frontier transfer in agentic AI, with typed manifests, replayable evidence, and theory-registry coverage.

    Python

  6. loscr loscr Public

    Check whether AI-assisted R&D work is truly verified progress. Local-first LOSCR implementation with JSONL evidence ledgers, deterministic replay, service control, and claim checking.

    Python