Moa Johansson

According to our database, Moa Johansson authored at least 41 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Fact Recall, Heuristics or Pure Guesswork? Precise Interpretations of Language Models for Fact Completion.

Denitsa Saynova, Lovisa Hagström, Moa Johansson, Richard Johansson, Marco Kuhlmann

CoRR, 2024

ACE: Abstractions for Communicating Efficiently.

Jonathan D. Thomas, Andrea Silvi, Devdatt P. Dubhashi, Vikas Garg, Moa Johansson

CoRR, 2024

Learning Efficient Recursive Numeral Systems via Reinforcement Learning.

Jonathan D. Thomas, Andrea Silvi, Devdatt P. Dubhashi, Emil Carlsson, Moa Johansson

CoRR, 2024

Can Large Language Models (or Humans) Distill Text?

Nicolas Audinet de Pieuchon, Adel Daoud, Connor Thomas Jerzak, Moa Johansson, Richard Johansson

CoRR, 2024

Reasoning in Transformers - Mitigating Spurious Correlations and Reasoning Shortcuts.

Daniel Enström, Viktor Kjellberg, Moa Johansson

Proceedings of the Neural-Symbolic Learning and Reasoning - 18th International Conference, 2024

Towards Integrating Copiloting and Formal Methods - Building Blocks, Architecture, and Challenges.

George Granberry, Wolfgang Ahrendt, Moa Johansson

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

Lemma Discovery and Strategies for Automated Induction.

Sólrún Halla Einarsdóttir, Márton Hajdú, Moa Johansson, Nicholas Smallbone, Martin Suda

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods.

George Granberry, Wolfgang Ahrendt, Moa Johansson

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

Setting the AI Agenda - Evidence from Sweden in the ChatGPT Era.

Bastiaan Bruinsma, Annika Fredén, Kajsa Hansson, Moa Johansson, Pasko Kisic-Merino, Denitsa Saynova

Proceedings of the 2nd Workshop on Fairness and Bias in AI co-located with 27th European Conference on Artificial Intelligence (ECAI 2024), 2024

2023

What Can Large Language Models Do for Theorem Proving and Formal Methods?

Moa Johansson

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Class Explanations: the Role of Domain-Specific Content and Stop Words.

Denitsa Saynova, Bastiaan Bruinsma, Moa Johansson, Richard Johansson

Proceedings of the 24th Nordic Conference on Computational Linguistics, 2023

Exploring Mathematical Conjecturing with Large Language Models.

Moa Johansson, Nicholas Smallbone

Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, 2023

The Effect of Scaling, Retrieval Augmentation and Form on the Factual Consistency of Language Models.

Lovisa Hagström, Denitsa Saynova, Tobias Norlund, Moa Johansson, Richard Johansson

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

Sudden Semantic Shifts in Swedish NATO discourse.

Brian Bonafilia, Bastiaan Bruinsma, Denitsa Saynova, Moa Johansson

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics: Student Research Workshop, 2023

2022

TriCo - Triple Co-piloting of Implementation, Specification and Tests.

Wolfgang Ahrendt, Dilian Gurov, Moa Johansson, Philipp Rümmer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Towards Learning Abstractions via Reinforcement Learning.

Erik Jergéus, Leo Karlsson Oinonen, Emil Carlsson, Moa Johansson

Proceedings of the 8th International Workshop on Artificial Intelligence and Cognition, 2022

2021

Conjectures, Tests and Proofs: An Overview of Theory Exploration.

Moa Johansson, Nicholas Smallbone

Proceedings of the 9th International Workshop on Verification and Program Transformation, 2021

2020

Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing.

Sólrún Halla Einarsdóttir, Nicholas Smallbone, Moa Johansson

Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

2019

Identifying Cross Country Skiing Techniques Using Power Meters in Ski Poles.

Moa Johansson, Marie Korneliusson, Nickey Lizbat Lawrence

Proceedings of the Nordic Artificial Intelligence Research and Development, 2019

Lemma Discovery for Induction - A Survey.

Moa Johansson

Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

2018

Towards Machine Learning on data from Professional Cyclists.

Agrin Hilmkil, Oscar Ivarsson, Moa Johansson, Dan Kuylenstierna, Teun van Erp

CoRR, 2018

Into the Infinite - Theory Exploration for Coinduction.

Sólrún Halla Einarsdóttir, Moa Johansson, Johannes Åman Pohjola

Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

2017

Quick specifications for the busy programmer.

Nicholas Smallbone, Moa Johansson, Koen Claessen, Maximilian Algehed

J. Funct. Program., 2017

Automated Theory Exploration for Interactive Theorem Proving: - An Introduction to the Hipster System.

Moa Johansson

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

QuickSpec: a lightweight theory exploration tool for programmers (system demonstration).

Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

2016

Proving Type Class Laws for Haskell.

Andreas Arvidsson, Moa Johansson, Robin Touche

Proceedings of the Trends in Functional Programming - 17th International Conference, 2016

2015

Interpolation Systems for Ground Proofs in Automated Deduction: a Survey.

Maria Paola Bonacina, Moa Johansson

J. Autom. Reason., 2015

On Interpolation in Automated Theorem Proving.

Maria Paola Bonacina, Moa Johansson

J. Autom. Reason., 2015

The Theory behind Theory Mine.

Alan Bundy, Flaminia Cavallo, Lucas Dixon, Moa Johansson, Roy L. McCasland

IEEE Intell. Syst., 2015

Conditional Lemma Discovery and Recursion Induction in Hipster.

Irene Lobo Valbuena, Moa Johansson

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

TIP: Tons of Inductive Problems.

Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

2014

Hipster: Integrating Theory Exploration in a Proof Assistant.

Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

2013

Proof-Pattern Recognition in ACL2.

Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean

CoRR, 2013

Proof-Pattern Recognition and Lemma Discovery in ACL2.

Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Automating Inductive Proofs Using Theory Exploration.

Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone

Proceedings of the Automated Deduction - CADE-24, 2013

2012

HipSpec: Automating Inductive Proofs of Program Properties.

Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone

Proceedings of the ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, 2012

2011

Conjecture Synthesis for Inductive Theories.

Moa Johansson, Lucas Dixon, Alan Bundy

J. Autom. Reason., 2011

On Interpolation in Decision Procedures.

Maria Paola Bonacina, Moa Johansson

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

2010

Case-Analysis for Rippling and Inductive Proof.

Moa Johansson, Lucas Dixon, Alan Bundy

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery.

Moa Johansson, Lucas Dixon, Alan Bundy

Proceedings of the Verification, Induction, Termination Analysis, 2010

2006

Best-First Rippling.

Moa Johansson, Alan Bundy, Lucas Dixon

Proceedings of the Reasoning, 2006