Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

LEGO-Prover: Neural Theorem Proving with Growing Libraries., , , , , , , , , und 4 andere Autor(en). CoRR, (2023)FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving., , , , , , , und . CoRR, (2024)DAGN: Discourse-Aware Graph Network for Logical Reasoning., , , , und . NAACL-HLT, Seite 5848-5855. Association for Computational Linguistics, (2021)LEGO-Prover: Neural Theorem Proving with Growing Libraries., , , , , , , , , und 2 andere Autor(en). ICLR, OpenReview.net, (2024)Proving Theorems Recursively., , , , , , , , , und 1 andere Autor(en). CoRR, (2024)MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure., , , , , und . EMNLP, Seite 4698-4724. Association for Computational Linguistics, (2022)Discourse-Aware Graph Networks for Textual Logical Reasoning., , , , , und . CoRR, (2022)REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement., , , , , und . CoRR, (2020)CLOMO: Counterfactual Logical Modification with Large Language Models., , , , , , , , und . CoRR, (2023)REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement., , , , und . AAAI, Seite 6375-6383. AAAI Press, (2021)