( en | de | ru )

 

Disambiguation of "Ayers, Edward"

Author of the publication

copydeleteadd this publication to your clipboard
Query-Based Hard-Image Retrieval for Object Detection at Test Time.

, , , , and . AAAI, page 14692-14700. AAAI Press, (2023)

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. You can also use the button next to the name to display some publications already assigned to the person.

Edward Fischer

Edward Sobel

Edward Totten

Edward Zahn

Edward Birkenbeil

 

Other publications of authors with the same name

Query-Based Hard-Image Retrieval for Object Detection at Test Time., , , , and . AAAI, page 14692-14700. AAAI Press, (2023)Query-based Hard-Image Retrieval for Object Detection at Test Time., , , , and . CoRR, (2022)ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics., , , , , and . CoRR, (2023)Proof Artifact Co-Training for Theorem Proving with Language Models., , , , and . ICLR, OpenReview.net, (2022)A Human-Oriented Term Rewriting System., , and . KI, volume 11793 of Lecture Notes in Computer Science, page 76-86. Springer, (2019)PaRoT: A Practical Framework for Robust Deep Neural Network Training., , , and . NFM, volume 12229 of Lecture Notes in Computer Science, page 63-84. Springer, (2020)Machine-Learned Premise Selection for Lean., , and . TABLEAUX, volume 14278 of Lecture Notes in Computer Science, page 175-186. Springer, (2023)An Extensible User Interface for Lean 4., , and . ITP, volume 268 of LIPIcs, page 24:1-24:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)A Graphical User Interface Framework for Formal Verification., , and . ITP, volume 193 of LIPIcs, page 4:1-4:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)