3 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.LO2015★ 3 cited
SEPIA: Search for Proofs Using Inferred Automata
Thomas Gransden, Neil Walkinshaw, Rajeev Raman
This paper describes SEPIA, a tool for automated proof generation in Coq. SEPIA combines model inference with interactive theorem proving. Existing proof corpora are modelled using…
cs.LO2014★ 2 cited
Mining State-Based Models from Proof Corpora
Thomas Gransden, Neil Walkinshaw, Rajeev Raman
Interactive theorem provers have been used extensively to reason about various software/hardware systems and mathematical theorems. The key challenge when using an interactive prov…