jason volk
jasonlvolk
AI & ML interests
Building SIGMA/SATYA: deterministic verification for AI systems that mutate state.
SIGMA computes structural admissibility. SATYA wraps runtime decisions. SVR turns verification results into signed, independently checkable receipts.
Models generate. SATYA verifies. SVR signs.
#deterministic-verification #ai-agents #state-mutation #signed-receipts #knowledge-graphs #formal-methods #graph-verification #ai-safety #ai-for-science #compliance-automation
Recent Activity
authored a paper 11 days ago
Incremental Sheaf Cohomology on Cellular Complexes: O(1)-in-n Lazy Edit Processing under Bounded Local Geometry updated a Space 13 days ago
jasonlvolk/sigma-enron-demo updated a Space 13 days ago
jasonlvolk/satya-svr-verifierOrganizations
None yet