Search Results for author:
Found 2 papers, 2 papers with code
Comparing Differentiable Logics for Learning Systems: A Research Preview
Extensive research on formal verification of machine learning (ML) systems indicates that learning from data alone often fails to capture underlying background knowledge.
Predicting SMT Solver Performance for Software Verification
The Why3 IDE and verification system facilitates the use of a wide range of Satisfiability Modulo Theories (SMT) solvers through a driver-based architecture.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
