( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On Interpolation in Decision Procedures.

, и . TABLEAUX, том 6793 из Lecture Notes in Computer Science, стр. 1-16. Springer, (2011)

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.

Zargham Moazez-Lesku

Batoul Moayer

Tarik Moataz

Fredrik Johansson

Roger Johansson

 

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

On Interpolation in Decision Procedures., и . TABLEAUX, том 6793 из Lecture Notes in Computer Science, стр. 1-16. Springer, (2011)Identifying Cross Country Skiing Techniques Using Power Meters in Ski Poles., , и . NAIS, том 1056 из Communications in Computer and Information Science, стр. 52-57. Springer, (2019)Class Explanations: the Role of Domain-Specific Content and Stop Words., , , и . NoDaLiDa, стр. 103-112. University of Tartu Library, (2023)The Effect of Scaling, Retrieval Augmentation and Form on the Factual Consistency of Language Models., , , , и . EMNLP, стр. 5457-5476. Association for Computational Linguistics, (2023)Towards Learning Abstractions via Reinforcement Learning., , , и . AIC, том 3400 из CEUR Workshop Proceedings, стр. 120-126. CEUR-WS.org, (2022)Proving Type Class Laws for Haskell., , и . TFP, том 10447 из Lecture Notes in Computer Science, стр. 61-74. Springer, (2016)Can Large Language Models (or Humans) Distill Text?, , , , и . CoRR, (2024)Reasoning in Transformers - Mitigating Spurious Correlations and Reasoning Shortcuts., , и . CoRR, (2024)What Can Large Language Models Do for Theorem Proving and Formal Methods?. AISoLA, том 14380 из Lecture Notes in Computer Science, стр. 391-394. Springer, (2023)Lemma Discovery and Strategies for Automated Induction., , , , и . IJCAR (1), том 14739 из Lecture Notes in Computer Science, стр. 214-232. Springer, (2024)