15 citations · 33 across the 8 of their papers we have counts for
1 paper · 1 filter
Xi He, Sirui Lu, Bei Zeng
Exact scientific discovery requires more than heuristic search: candidate constructions must be turned into exact objects and checked independently. We address this gap by extendin…