Title:           Stochastic Witness Calculus: Exact Measure Certificates for Mathematical Existence, Learned Proof Search, and Anytime-Valid Empirical Claims
Subject:         
Keywords:        
Author:          Kenju Tomita
Creator:         LaTeX with hyperref
Producer:        pdfTeX-1.40.26
CreationDate:    Fri Sep  4 16:17:57 2026 UTC
ModDate:         Fri Sep  4 16:17:57 2026 UTC
Custom Metadata: yes
Metadata Stream: no
Tagged:          no
UserProperties:  no
Suspects:        no
Form:            none
JavaScript:      no
Pages:           34
Encrypted:       no
Page size:       612 x 792 pts (letter)
Page rot:        0
File size:       618691 bytes
Optimized:       no
PDF version:     1.7
