24 citations · 44 across the 8 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.CR2023
Evidential Transactions with Cyberlogic
Harald Ruess, Natarajan Shankar
Cyberlogic is an enabling logical foundation for building and analyzing digital transactions that involve the exchange of digital forms of evidence. It is based on an extension of…
cs.LO2023
CoProver: A Recommender System for Proof Construction
Eric Yeh, Briland Hitaj, Sam Owre +2
Interactive Theorem Provers (ITPs) are an indispensable tool in the arsenal of formal method experts as a platform for construction and (formal) verification of proofs. The complex…
cs.FL2023
Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning
John Hester, Briland Hitaj, Grant Passmore +3
Cylindrical Algebraic Decomposition (CAD) is a key proof technique for formal verification of cyber-physical systems. CAD is computationally expensive, with worst-case doubly-expon…