Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Yilun He
Institution:
The University of Sydney
Observed institution:
The University of Sydney
OpenAlex ID:
A5028454569
PaMpeR: proof method recommendation system for Isabelle/HOL
2018
·
Yutaka Nagashima
, Yilun He
·
IEEE/ACM International Conference on Automated Software Engineering (ASE)
·
24
PDF
Competition-Based Control of the False Discovery Proportion
2023
·
Dong Luo
, Arya Ebadi
, et al.
·
Biometrics
·
3
stepdownfdp: A Step-Down Procedure to Control the False Discovery Proportion
2022
·
Arya Ebadi
, Dong Luo
, et al.
PDF
Show more works
View as search
Works count:
3
Citation count:
27
H-index:
2
I10-index:
1
Year
Topic
Type
