Property-Based Conjecturing for Automated Induction in Isabelle/HOL. - Yutaka Nagashima; Zijin Xu; Ningli Wang; Daniel Sebastian Goc; James Bang (CoRR, 2022)

Template-Based Conjecturing for Automated Induction in Isabelle/HOL. - Yutaka Nagashima; Zijin Xu; Ningli Wang; Daniel Sebastian Goc; James Bang (FSEN, 2023)