research
∙
03/20/2023
Evidential Transactions with Cyberlogic
Cyberlogic is an enabling logical foundation for building and analyzing ...
share
research
∙
03/01/2023
CoProver: A Recommender System for Proof Construction
Interactive Theorem Provers (ITPs) are an indispensable tool in the arse...
research
∙
02/27/2023
Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning
Cylindrical Algebraic Decomposition (CAD) is a key proof technique for f...
research
∙
03/29/2022
DesCert: Design for Certification
The goal of the DARPA Automated Rapid Certification Of Software (ARCOS) ...
research
∙
01/13/2020
A Verified Packrat Parser Interpreter for Parsing Expression Grammars
Parsing expression grammars (PEGs) offer a natural opportunity for build...
research
∙
08/23/2018