conftrace_

proof automation

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

recognizing textual entailment (1) proof assistant (1) llvm translation (1) hypervisor verification (1) logic-based reasoning (1) system software (1) axiom injection (1) coq proof assistant (1) knowledge graph (1) knowledge base completion (1)

Papers

Spoq: Scaling Machine-Checkable Systems Verification in Coq OSDI 2023 Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference AAAI 2019