7 citations · 25 across the 19 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.LO2018★ 1 cited
Towards Machine Learning Induction
Yutaka Nagashima
Induction lies at the heart of mathematics and computer science. However, automated theorem proving of inductive problems is still limited in its power. In this abstract, we first…
cs.LO2018★ 2 cited
Goal-Oriented Conjecturing for Isabelle/HOL
Yutaka Nagashima, Julian Parsert
We present PGT, a Proof Goal Transformer for Isabelle/HOL. Given a proof goal and its background context, PGT attempts to generate conjectures from the original goal by transformin…
cs.LO2018★ 1 cited
PaMpeR: Proof Method Recommendation System for Isabelle/HOL
Yutaka Nagashima, Yilun He
Deciding which sub-tool to use for a given proof state requires expertise specific to each ITP. To mitigate this problem, we present PaMpeR, a Proof Method Recommendation system fo…