Author of the publication

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.

 

Other publications of authors with the same name

Neural Analogical Matching., , , and . CoRR, (2020)Formally Specifying the High-Level Behavior of LLM-Based Agents., , , , , , , and . CoRR, (2023)API-BLEND: A Comprehensive Corpora for Training and Benchmarking API LLMs., , , , , , , , , and . CoRR, (2024)MISMATCH: Fine-grained Evaluation of Machine-generated Text with Mismatch Error Types., , , , , , , , , and 2 other author(s). ACL (Findings), page 4485-4503. Association for Computational Linguistics, (2023)Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling., , , , , , and . CoRR, (2019)Learning to Guide a Saturation-Based Theorem Prover., , , , , , , , , and 1 other author(s). CoRR, (2021)An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations., , , , , , , and . IJCAI, page 3221-3229. ijcai.org, (2023)Self-Supervised Rule Learning to Link Text Segments to Relational Elements of Structured Knowledge., , , , , , , , , and 6 other author(s). EMNLP (Findings), page 1707-1718. Association for Computational Linguistics, (2023)Compositional Program Generation for Systematic Generalization., , , , , and . CoRR, (2023)Learning to Guide a Saturation-Based Theorem Prover., , , , , , , , , and 1 other author(s). IEEE Trans. Pattern Anal. Mach. Intell., 45 (1): 738-751 (2023)