PaMpeR: Proof Method Recommendation System for Isabelle/HOL

19 June 2018

Papers citing "PaMpeR: Proof Method Recommendation System for Isabelle/HOL"

4 / 4 papers shown

Title
Genetic Algorithm for Program Synthesis Yutaka Nagashima 33 1 0 22 Nov 2022
Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction Yutaka Nagashima LRM 24 3 0 19 Oct 2020
Faster Smarter Induction in Isabelle/HOL Yutaka Nagashima 21 7 0 19 Sep 2020
GamePad: A Learning Environment for Theorem Proving Daniel Huang Prafulla Dhariwal D. Song Ilya Sutskever 31 109 0 02 Jun 2018