5 citations · 10 across the 7 of their papers we have counts for
8 papers
Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions
Boyan Duan, Xiao Liang, Shuai Lu +7
Automated theorem proving in Euclidean geometry, particularly for International Mathematical Olympiad (IMO) level problems, remains a major challenge and an important research focu…
VC-dimensions Between Partially Ordered Sets and Totally Ordered Sets
Boyan Duan, Minghui Ouyang, Zheng Wang
We say that two partial orders on are compatible if there exists a partial order that refines both of them. This compatibility relation induces a natural set system structure…
Data fission: splitting a single data point
James Leiner, Boyan Duan, Larry Wasserman +1
Suppose we observe a random vector from some distribution in a known family with unknown parameters. We ask the following question: when is it possible to split into tw…
Interactive identification of individuals with positive treatment effect while controlling false discoveries
Boyan Duan, Larry Wasserman, Aaditya Ramdas
Out of the participants in a randomized experiment with anticipated heterogeneous treatment effects, is it possible to identify which subjects have a positive treatment effect? Whi…
Interactive rank testing by betting
Boyan Duan, Aaditya Ramdas, Larry Wasserman
In order to test if a treatment is perceptibly different from a placebo in a randomized experiment with covariates, classical nonparametric tests based on ranks of observations/res…
Familywise Error Rate Control by Interactive Unmasking
Boyan Duan, Aaditya Ramdas, Larry Wasserman
We propose a method for multiple hypothesis testing with familywise error rate (FWER) control, called the i-FWER test. Most testing methods are predefined algorithms that do not al…
Interactive Martingale Tests for the Global Null
Boyan Duan, Aaditya Ramdas, Sivaraman Balakrishnan +1
Global null testing is a classical problem going back about a century to Fisher's and Stouffer's combination tests. In this work, we present simple martingale analogs of these clas…
Cross-Spectral Face Hallucination via Disentangling Independent Factors
Boyan Duan, Chaoyou Fu, Yi Li +2
The cross-sensor gap is one of the challenges that have aroused much research interests in Heterogeneous Face Recognition (HFR). Although recent methods have attempted to fill the…