activity
20092025
most citedGenerative Language Modeling for Automated Theorem Proving

44 citations · 110 across the 7 of their papers we have counts for

collaborators
Showing 2009Show all

1 paper · 1 filter

cs.DS2009

Discrepancy-Sensitive Dynamic Fractional Cascading, Dominated Maxima Searching, and 2-d Nearest Neighbors in Any Minkowski Metric

Mikhail J. Atallah, Marina Blanton, Michael T. Goodrich +1

This paper studies a discrepancy-sensitive approach to dynamic fractional cascading. We provide an efficient data structure for dominated maxima searching in a dynamic set of point…