6 projects
plainproof
Reproduction tool for the paper 'How many follow-up questions distinguish genuine understanding from apparent mastery?'. Not a general library. Its sealed checks can stop a run on purpose.
physmap
Physics-aware credibility checks for AI surrogates in multiphysics simulation: closure validity, surrogate observability, and causal materiality.
uofa
CLI for creating, validating, and signing Unit of Assurance evidence packages for computational modeling and simulation credibility
vetoworld
VetoWorld: a benchmark of expedience under terminal stakes
hardmap
Reproducible evidence for the charge-atlas / proof-space program: atlas, oracle line, proof census, and a single repro CLI.
raidex
Self-contained CLI to measure an LLM against the Raidex Responsible-AI index
