Statistics
Publications
1
Citations
24
H-Index
1
Active since
2018
Affiliations
Universität Innsbruck(Current)
Yilun He is an author at Universität Innsbruck.
Publications per year
2018–2018
1
1
PaMpeR: proof method recommendation system for Isabelle/HOL
Yutaka Nagashima, Yilun He · 2018 · 24 citations
1–1 of 1