1 citations · 2 across the 2 of their papers we have counts for
2 papers
stat.ME2020★ 1 cited
Competition-based control of the false discovery proportion
Dong Luo, Arya Ebadi, Yilun He +3
Recently, Barber and Candès laid the theoretical foundation for a general framework for false discovery rate (FDR) control based on the notion of "knockoffs." A closely related FDR…
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…