( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Class Explanations: the Role of Domain-Specific Content and Stop Words.

, , , и . NoDaLiDa, стр. 103-112. University of Tartu Library, (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.

Zargham Moazez-Lesku

Batoul Moayer

Tarik Moataz

Roger Johansson

Fredrik Johansson

 

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

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)Identifying Cross Country Skiing Techniques Using Power Meters in Ski Poles., , и . NAIS, том 1056 из Communications in Computer and Information Science, стр. 52-57. Springer, (2019)ACE: Abstractions for Communicating Efficiently., , , , и . CoRR, (2024)On Interpolation in Decision Procedures., и . TABLEAUX, том 6793 из Lecture Notes in Computer Science, стр. 1-16. Springer, (2011)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)Identifying Non-Replicable Social Science Studies with Language Models., , , , и . CoRR, (марта 2025)Lemma Discovery for Induction - A Survey.. CICM, том 11617 из Lecture Notes in Computer Science, стр. 125-139. Springer, (2019)Automated Theory Exploration for Interactive Theorem Proving: - An Introduction to the Hipster System.. ITP, том 10499 из Lecture Notes in Computer Science, стр. 1-11. Springer, (2017)