Moa Johansson

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 25

Top Topics

Functional Programs

Theorem Proving

Top Venues

J. Autom. Reason.

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

Nicolas Audinet de Pieuchon, Adel Daoud, Connor Thomas Jerzak, Moa Johansson, Richard Johansson
Can Large Language Models (or Humans) Distill Text? CoRR (2024)
George Granberry, Wolfgang Ahrendt, Moa Johansson
Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods. CoRR (2024)
Sólrún Halla Einarsdóttir, Márton Hajdú, Moa Johansson, Nicholas Smallbone, Martin Suda
Lemma Discovery and Strategies for Automated Induction. IJCAR (1) (2024)
Daniel Enström, Viktor Kjellberg, Moa Johansson
Reasoning in Transformers - Mitigating Spurious Correlations and Reasoning Shortcuts. CoRR (2024)
Moa Johansson, Nicholas Smallbone
Exploring Mathematical Conjecturing with Large Language Models. NeSy (2023)
Moa Johansson
What Can Large Language Models Do for Theorem Proving and Formal Methods? AISoLA (2023)
Brian Bonafilia, Bastiaan Bruinsma, Denitsa Saynova, Moa Johansson
Sudden Semantic Shifts in Swedish NATO discourse. ACL (student) (2023)
Lovisa Hagström, Denitsa Saynova, Tobias Norlund, Moa Johansson, Richard Johansson
The Effect of Scaling, Retrieval Augmentation and Form on the Factual Consistency of Language Models. CoRR (2023)
Denitsa Saynova, Bastiaan Bruinsma, Moa Johansson, Richard Johansson
Class Explanations: the Role of Domain-Specific Content and Stop Words. NoDaLiDa (2023)
Lovisa Hagström, Denitsa Saynova, Tobias Norlund, Moa Johansson, Richard Johansson
The Effect of Scaling, Retrieval Augmentation and Form on the Factual Consistency of Language Models. EMNLP (2023)
Wolfgang Ahrendt, Dilian Gurov, Moa Johansson, Philipp Rümmer
TriCo - Triple Co-piloting of Implementation, Specification and Tests. ISoLA (1) (2022)
Erik Jergéus, Leo Karlsson Oinonen, Emil Carlsson, Moa Johansson
Towards Learning Abstractions via Reinforcement Learning. CoRR (2022)
Erik Jergéus, Leo Karlsson Oinonen, Emil Carlsson, Moa Johansson
Towards Learning Abstractions via Reinforcement Learning. AIC (2022)
Moa Johansson, Nicholas Smallbone
Conjectures, Tests and Proofs: An Overview of Theory Exploration. VPT@ETAPS (2021)
Sólrún Halla Einarsdóttir, Nicholas Smallbone, Moa Johansson
Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing. IFL (2020)
Moa Johansson, Marie Korneliusson, Nickey Lizbat Lawrence
Identifying Cross Country Skiing Techniques Using Power Meters in Ski Poles. NAIS (2019)
Moa Johansson
Lemma Discovery for Induction - A Survey. CICM (2019)
Moa Johansson, Marie Korneliusson, Nickey Lizbat Lawrence
Identifying cross country skiing techniques using power meters in ski poles. CoRR (2019)
Andreas Arvidsson, Moa Johansson, Robin Touche
Proving Type Class Laws for Haskell. CoRR (2018)
Sólrún Halla Einarsdóttir, Moa Johansson, Johannes Åman Pohjola
Into the Infinite - Theory Exploration for Coinduction. AISC (2018)
Agrin Hilmkil, Oscar Ivarsson, Moa Johansson, Dan Kuylenstierna, Teun van Erp
Towards Machine Learning on data from Professional Cyclists. CoRR (2018)
Nicholas Smallbone, Moa Johansson, Koen Claessen, Maximilian Algehed
Quick specifications for the busy programmer. J. Funct. Program. 27 (2017)
Moa Johansson
Automated Theory Exploration for Interactive Theorem Proving: - An Introduction to the Hipster System. ITP (2017)
Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone
QuickSpec: a lightweight theory exploration tool for programmers (system demonstration). Haskell (2017)
Andreas Arvidsson, Moa Johansson, Robin Touche
Proving Type Class Laws for Haskell. TFP (2016)
Maria Paola Bonacina, Moa Johansson
On Interpolation in Automated Theorem Proving. J. Autom. Reason. 54 (1) (2015)
Irene Lobo Valbuena, Moa Johansson
Conditional Lemma Discovery and Recursion Induction in Hipster. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
Alan Bundy, Flaminia Cavallo, Lucas Dixon, Moa Johansson, Roy L. McCasland
The Theory behind Theory Mine. IEEE Intell. Syst. 30 (4) (2015)
Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
TIP: Tons of Inductive Problems. CICM (2015)
Maria Paola Bonacina, Moa Johansson
Interpolation Systems for Ground Proofs in Automated Deduction: a Survey. J. Autom. Reason. 54 (4) (2015)
Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen
Hipster: Integrating Theory Exploration in a Proof Assistant. CICM (2014)
Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen
Hipster: Integrating Theory Exploration in a Proof Assistant. CoRR (2014)
Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
Automating Inductive Proofs Using Theory Exploration. CADE (2013)
Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean
Proof-Pattern Recognition and Lemma Discovery in ACL2. LPAR (2013)
Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean
Proof-Pattern Recognition in ACL2. CoRR (2013)
Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
HipSpec: Automating Inductive Proofs of Program Properties. ATx/WInG@IJCAR (2012)
Moa Johansson, Lucas Dixon, Alan Bundy
Conjecture Synthesis for Inductive Theories. J. Autom. Reason. 47 (3) (2011)
Maria Paola Bonacina, Moa Johansson
On Interpolation in Decision Procedures. TABLEAUX (2011)
Moa Johansson, Lucas Dixon, Alan Bundy
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery. Verification, Induction, Termination Analysis (2010)
Moa Johansson, Lucas Dixon, Alan Bundy
Case-Analysis for Rippling and Inductive Proof. ITP (2010)
Moa Johansson, Alan Bundy, Lucas Dixon
Best-First Rippling. Reasoning, Action and Interaction in AI Theories and Systems (2006)