4 citations · 4 across the 1 of their papers we have counts for
2 papers
cs.LG2021★ 4 cited
A Study of Continuous Vector Representationsfor Theorem Proving
Stanisław Purgał, Julian Parsert, Cezary Kaliszyk
Applying machine learning to mathematical terms and formulas requires a suitable representation of formulas that is adequate for AI methods. In this paper, we develop an encoding t…
cs.LO2018
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…