4 citations · 4 across the 8 of their papers we have counts for
1 paper · 1 filter
Haocheng Ju, Leheng Chen, Peihao Wu +2
Retrieving mathematical knowledge is a central task in both human-driven research, such as determining whether a result already exists, finding related results, and identifying his…