Goal-Oriented Conjecturing for Isabelle/HOL , booktitle =

Yutaka Nagashima, Julian Parsert , editor = · 2018 · DOI 10.1007/978-3-319-96812-4

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

open at publisher browse 1 citing papers

representative citing papers

cs.LO · 2026-06-03 · unverdicted · novelty 5.0

Introduces Abduction Prover that constructs proof scripts in Isabelle/HOL by identifying useful conjectures via abductive reasoning.

Showing 1 of 1 citing paper after filters.

Abduction Prover in Isabelle/HOL cs.LO · 2026-06-03 · unverdicted · none · ref 14
Introduces Abduction Prover that constructs proof scripts in Isabelle/HOL by identifying useful conjectures via abductive reasoning.