( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Discrepancy-Sensitive Dynamic Fractional Cascading, Dominated Maxima Searching, and 2-d Nearest Neighbors in Any Minkowski Metric

, , , и . CoRR, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Stanislas Kinsch

Stanislas Brossette

Stanislas Bigirimana

Stanislas Ntibarigobeka

Stanislas Oger

 

Другие публикации лиц с тем же именем

Formal Mathematics Statement Curriculum Learning., , , , , и . CoRR, (2022)miniF2F: a cross-system benchmark for formal Olympiad-level mathematics., , и . ICLR, OpenReview.net, (2022)Proof Artifact Co-training for Theorem Proving with Language Models., , , , и . CoRR, (2021)MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics., , и . CoRR, (2021)Discrepancy-Sensitive Dynamic Fractional Cascading, Dominated Maxima Searching, and 2-d Nearest Neighbors in Any Minkowski Metric., , , и . WADS, том 4619 из Lecture Notes in Computer Science, стр. 114-126. Springer, (2007)Breach - A browser for the HTML5 era. (2014)Formal Mathematics Statement Curriculum Learning., , , , , и . ICLR, OpenReview.net, (2023)Proof Artifact Co-Training for Theorem Proving with Language Models., , , , и . ICLR, OpenReview.net, (2022)Discrepancy-Sensitive Dynamic Fractional Cascading, Dominated Maxima Searching, and 2-d Nearest Neighbors in Any Minkowski Metric, , , и . CoRR, (2009)Unsupervised Neural Machine Translation with Generative Language Models Only., , , , , , , , , и 1 other автор(ы). CoRR, (2021)