Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Does the Proof Prove It That Way? Faithful Formalization of Elements Proofs
Tadd Mao, Tianjun Zhong, Dhruva Arekar +5
In formal verification, both the autoformalization of statements and automated proof search have been studied extensively. While automated proof search can produce a formal proof t…
cs.AI2026
BODHI: Precise OS Kernel Specification Inference
Zhiming Chang, Ziyang Li
The formal verification of operating system kernels requires precise specifications that capture the intended behavior of system calls. Writing these specifications manually demand…