( en | de | ru )

 

Disambiguation of "Johansson, Moa"

Author of the publication

copydeleteadd this publication to your clipboard
QuickSpec: a lightweight theory exploration tool for programmers (system demonstration).

, , , and . Haskell, page 38-39. ACM, (2017)

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.

Zargham Moazez-Lesku

Batoul Moayer

Tarik Moataz

Fredrik Johansson

Ulf Johansson

 

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)Class Explanations: the Role of Domain-Specific Content and Stop Words., , , and . NoDaLiDa, page 103-112. University of Tartu Library, (2023)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)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)Can Large Language Models (or Humans) Distill Text?, , , , and . CoRR, (2024)Reasoning in Transformers - Mitigating Spurious Correlations and Reasoning Shortcuts., , and . CoRR, (2024)What Can Large Language Models Do for Theorem Proving and Formal Methods?. AISoLA, volume 14380 of Lecture Notes in Computer Science, page 391-394. Springer, (2023)Lemma Discovery and Strategies for Automated Induction., , , , and . IJCAR (1), volume 14739 of Lecture Notes in Computer Science, page 214-232. Springer, (2024)