( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations.

, , , , , , , и . IJCAI, стр. 3221-3229. ijcai.org, (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.

Bernd Crouse

Laurence Maxwell

Hugh Maxwell

Maxwell Kusi-Mensah

Maxwell Ralph Jacobs

 

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

Neural Analogical Matching., , , и . CoRR, (2020)Formally Specifying the High-Level Behavior of LLM-Based Agents., , , , , , , и . CoRR, (2023)MISMATCH: Fine-grained Evaluation of Machine-generated Text with Mismatch Error Types., , , , , , , , , и 2 other автор(ы). ACL (Findings), стр. 4485-4503. Association for Computational Linguistics, (2023)Learning to Guide a Saturation-Based Theorem Prover., , , , , , , , , и 1 other автор(ы). CoRR, (2021)An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations., , , , , , , и . IJCAI, стр. 3221-3229. ijcai.org, (2023)Neural Analogical Matching., , , и . AAAI, стр. 809-817. AAAI Press, (2021)X-FACTOR: A Cross-metric Evaluation of Factual Correctness in Abstractive Summarization., , , , , , , , , и 1 other автор(ы). EMNLP, стр. 7100-7110. Association for Computational Linguistics, (2022)Laziness Is a Virtue When It Comes to Compositionality in Neural Semantic Parsing., , , , , , и . ACL (1), стр. 8434-8448. Association for Computational Linguistics, (2023)Self-Supervised Rule Learning to Link Text Segments to Relational Elements of Structured Knowledge., , , , , , , , , и 6 other автор(ы). EMNLP (Findings), стр. 1707-1718. Association for Computational Linguistics, (2023)An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic., , , и . CoRR, (2020)