arxiv:2606.04227
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 about 21 hours ago
Incremental Sheaf Cohomology on Cellular Complexes: O(1)-in-n Lazy Edit Processing under Bounded Local Geometry updated a Space 3 days ago
jasonlvolk/sigma-enron-demo updated a Space 3 days ago
jasonlvolk/satya-svr-verifierOrganizations
None yet