Login / Signup
Yilun He
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 2
Top Topics
Synthetic Data
Theorem Prover
Natural Deduction
Segmentation Method
Top Venues
CoRR
ASE
</>
Publications
</>
Yutaka Nagashima
,
Yilun He
PaMpeR: proof method recommendation system for Isabelle/HOL.
ASE
(2018)
Yutaka Nagashima
,
Yilun He
PaMpeR: Proof Method Recommendation System for Isabelle/HOL.
CoRR
(2018)