| Translating Between Implicit and Explicit Versions of Proof. | 1 | 0.35 | 2017 |
| CDCL-inspired Word-level Learning for Bit-vector Constraint Solving. | 1 | 0.35 | 2017 |
| A Semantic Framework for Proof Evidence. | 5 | 0.44 | 2017 |
| Real Behavior of Floating Point. | 0 | 0.34 | 2017 |
| Proof Certificates for Equality Reasoning. | 4 | 0.38 | 2016 |
| The Proof Certifier Checkers | 7 | 0.46 | 2015 |
| The Exp-Log Normal Form of Types and Canonical Terms for Lambda Calculus with Sums. | 0 | 0.34 | 2015 |
| Foundational proof certificates in first-order logic | 9 | 0.66 | 2013 |
| Checking Foundational Proof Certificates for First-Order Logic (Extended Abstract). | 4 | 0.47 | 2013 |
