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

On Interpolation in Decision Procedures., and . TABLEAUX, volume 6793 of Lecture Notes in Computer Science, page 1-16. Springer, (2011)Identifying Cross Country Skiing Techniques Using Power Meters in Ski Poles., , and . NAIS, volume 1056 of Communications in Computer and Information Science, page 52-57. Springer, (2019)Class Explanations: the Role of Domain-Specific Content and Stop Words., , , and . NoDaLiDa, page 103-112. University of Tartu Library, (2023)The Effect of Scaling, Retrieval Augmentation and Form on the Factual Consistency of Language Models., , , , and . EMNLP, page 5457-5476. Association for Computational Linguistics, (2023)Towards Learning Abstractions via Reinforcement Learning., , , and . AIC, volume 3400 of CEUR Workshop Proceedings, page 120-126. CEUR-WS.org, (2022)Proving Type Class Laws for Haskell., , and . TFP, volume 10447 of Lecture Notes in Computer Science, page 61-74. Springer, (2016)Reasoning in Transformers - Mitigating Spurious Correlations and Reasoning Shortcuts., , and . CoRR, (2024)Can Large Language Models (or Humans) Distill Text?, , , , and . CoRR, (2024)On Interpolation in Automated Theorem Proving., and . J. Autom. Reason., 54 (1): 69-97 (2015)Conditional Lemma Discovery and Recursion Induction in Hipster., and . ECEASST, (2015)