Moa Johansson

63 papers A* 2A 1B 7C 7Misc 1Journal 27Unranked 18
YearRankTypeTitle / Venue / Authors
2026 J jnl
Evaluating the relationship between regularity and learnability in recursive numeral systems using Reinforcement Learning.
CoRR
Andrea Silvi, Ponrawee Prasertsom, Jennifer Culbertson, Devdatt P. Dubhashi, Moa Johansson, Kenny Smith
2026 — conf
Recursive numeral systems are highly regular and easy to process.
EACL (Volume 1: Long Papers)
Ponrawee Prasertsom, Andrea Silvi, Jennifer Culbertson, Devdatt P. Dubhashi, Moa Johansson, Kenny Smith
2026 J jnl
Twitch: Learning Abstractions for Equational Theorem Proving.
CoRR
Guy Axelrod, Moa Johansson, Nicholas Smallbone
2025 A* conf
Benchmarking Debiasing Methods for LLM-based Parameter Estimates.
EMNLP
Nicolas Audinet de Pieuchon, Adel Daoud, Connor Thomas Jerzak, Moa Johansson, Richard Johansson
2025 J jnl
Benchmarking Debiasing Methods for LLM-based Parameter Estimates.
CoRR
Nicolas Audinet de Pieuchon, Adel Daoud, Connor T. Jerzak, Moa Johansson, Richard Johansson
2025 — conf
Fact Recall, Heuristics or Pure Guesswork? Precise Interpretations of Language Models for Fact Completion.
ACL (Findings)
Denitsa Saynova, Lovisa Hagström, Moa Johansson, Richard Johansson, Marco Kuhlmann
2025 J jnl
Identifying Non-Replicable Social Science Studies with Language Models.
CoRR
Denitsa Saynova, Kajsa Hansson, Bastiaan Bruinsma, Annika Fredén, Moa Johansson
2025 B conf
Learning Efficient Recursive Numeral Systems via Reinforcement Learning.
CogSci
Andrea Silvi, Jonathan D. Thomas, Emil Carlsson, Devdatt P. Dubhashi, Moa Johansson
2025 J jnl
Lemmanaid: Neuro-Symbolic Lemma Conjecturing.
CoRR
Yousef Alhessi, Sólrún Halla Einarsdóttir, George Granberry, Emily First, Moa Johansson, Sorin Lerner, Nicholas Smallbone
2025 B conf
PACE: Procedural Abstractions for Communicating Efficiently.
CogSci
Jonathan D. Thomas, Andrea Silvi, Devdatt P. Dubhashi, Moa Johansson
2025 J jnl
Recursive numeral systems are highly regular and easy to process.
CoRR
Ponrawee Prasertsom, Andrea Silvi, Jennifer Culbertson, Moa Johansson, Devdatt P. Dubhashi, Kenny Smith
2025 J jnl
Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis.
CoRR
George Granberry, Wolfgang Ahrendt, Moa Johansson
2024 J jnl
ACE: Abstractions for Communicating Efficiently.
CoRR
Jonathan D. Thomas, Andrea Silvi, Devdatt P. Dubhashi, Vikas Garg, Moa Johansson
2024 J jnl
Can Large Language Models (or Humans) Distill Text?
CoRR
Nicolas Audinet de Pieuchon, Adel Daoud, Connor Thomas Jerzak, Moa Johansson, Richard Johansson
2024 J jnl
Fact Recall, Heuristics or Pure Guesswork? Precise Interpretations of Language Models for Fact Completion.
CoRR
Denitsa Saynova, Lovisa Hagström, Moa Johansson, Richard Johansson, Marco Kuhlmann
2024 J jnl
Learning Efficient Recursive Numeral Systems via Reinforcement Learning.
CoRR
Jonathan D. Thomas, Andrea Silvi, Devdatt P. Dubhashi, Emil Carlsson, Moa Johansson
2024 — conf
Lemma Discovery and Strategies for Automated Induction.
IJCAR (1)
Sólrún Halla Einarsdóttir, Márton Hajdú, Moa Johansson, Nicholas Smallbone, Martin Suda
2024 — conf
Reasoning in Transformers - Mitigating Spurious Correlations and Reasoning Shortcuts.
NeSy (2)
Daniel Enström, Viktor Kjellberg, Moa Johansson
2024 J jnl
Reasoning in Transformers - Mitigating Spurious Correlations and Reasoning Shortcuts.
CoRR
Daniel Enström, Viktor Kjellberg, Moa Johansson
2024 — conf
Setting the AI Agenda - Evidence from Sweden in the ChatGPT Era.
AEQUITAS@ECAI
Bastiaan Bruinsma, Annika Fredén, Kajsa Hansson, Moa Johansson, Pasko Kisic-Merino, Denitsa Saynova
2024 J jnl
Setting the AI Agenda - Evidence from Sweden in the ChatGPT Era.
CoRR
Bastiaan Bruinsma, Annika Fredén, Kajsa Hansson, Moa Johansson, Pasko Kisic-Merino, Denitsa Saynova
2024 B conf
Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods.
IFM
George Granberry, Wolfgang Ahrendt, Moa Johansson
2024 J jnl
Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods.
CoRR
George Granberry, Wolfgang Ahrendt, Moa Johansson
2024 — conf
Towards Integrating Copiloting and Formal Methods - Building Blocks, Architecture, and Challenges.
ISoLA (3)
George Granberry, Wolfgang Ahrendt, Moa Johansson
2023 — conf
Class Explanations: the Role of Domain-Specific Content and Stop Words.
NoDaLiDa
Denitsa Saynova, Bastiaan Bruinsma, Moa Johansson, Richard Johansson
2023 C conf
Exploring Mathematical Conjecturing with Large Language Models.
NeSy
Moa Johansson, Nicholas Smallbone
2023 — conf
Sudden Semantic Shifts in Swedish NATO discourse.
ACL (student)
Brian Bonafilia, Bastiaan Bruinsma, Denitsa Saynova, Moa Johansson
2023 A* conf
The Effect of Scaling, Retrieval Augmentation and Form on the Factual Consistency of Language Models.
EMNLP
Lovisa Hagström, Denitsa Saynova, Tobias Norlund, Moa Johansson, Richard Johansson
2023 J jnl
The Effect of Scaling, Retrieval Augmentation and Form on the Factual Consistency of Language Models.
CoRR
Lovisa Hagström, Denitsa Saynova, Tobias Norlund, Moa Johansson, Richard Johansson
2023 — conf
What Can Large Language Models Do for Theorem Proving and Formal Methods?
AISoLA
Moa Johansson
2022 — conf
Towards Learning Abstractions via Reinforcement Learning.
AIC
Erik Jergéus, Leo Karlsson Oinonen, Emil Carlsson, Moa Johansson
2022 J jnl
Towards Learning Abstractions via Reinforcement Learning.
CoRR
Erik Jergéus, Leo Karlsson Oinonen, Emil Carlsson, Moa Johansson
2022 — conf
TriCo - Triple Co-piloting of Implementation, Specification and Tests.
ISoLA (1)
Wolfgang Ahrendt, Dilian Gurov, Moa Johansson, Philipp Rümmer
2021 — conf
Conjectures, Tests and Proofs: An Overview of Theory Exploration.
VPT@ETAPS
Moa Johansson, Nicholas Smallbone
2020 — conf
Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing.
IFL
Sólrún Halla Einarsdóttir, Nicholas Smallbone, Moa Johansson
2019 — conf
Identifying Cross Country Skiing Techniques Using Power Meters in Ski Poles.
NAIS
Moa Johansson, Marie Korneliusson, Nickey Lizbat Lawrence
2019 J jnl
Identifying cross country skiing techniques using power meters in ski poles.
CoRR
Moa Johansson, Marie Korneliusson, Nickey Lizbat Lawrence
2019 C conf
Lemma Discovery for Induction - A Survey.
CICM
Moa Johansson
2019 C ed.
Practical Aspects of Declarative Languages - 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
PADL
José Júlio Alferes, Moa Johansson
2018 Misc conf
Into the Infinite - Theory Exploration for Coinduction.
AISC
Sólrún Halla Einarsdóttir, Moa Johansson, Johannes Åman Pohjola
2018 J jnl
Proving Type Class Laws for Haskell.
CoRR
Andreas Arvidsson, Moa Johansson, Robin Touche
2018 J jnl
Towards Machine Learning on data from Professional Cyclists.
CoRR
Agrin Hilmkil, Oscar Ivarsson, Moa Johansson, Dan Kuylenstierna, Teun van Erp
2017 B conf
Automated Theory Exploration for Interactive Theorem Proving: - An Introduction to the Hipster System.
ITP
Moa Johansson
2017 J jnl
Quick specifications for the busy programmer.
J. Funct. Program.
Nicholas Smallbone, Moa Johansson, Koen Claessen, Maximilian Algehed
2017 C conf
QuickSpec: a lightweight theory exploration tool for programmers (system demonstration).
Haskell
Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone
2016 C ed.
Intelligent Computer Mathematics - 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
CICM
Michael Kohlhase, Moa Johansson, Bruce R. Miller, Leonardo de Moura, Frank Wm. Tompa
2016 — conf
Proving Type Class Laws for Haskell.
TFP
Andreas Arvidsson, Moa Johansson, Robin Touche
2015 J jnl
Conditional Lemma Discovery and Recursion Induction in Hipster.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Irene Lobo Valbuena, Moa Johansson
2015 J jnl
Interpolation Systems for Ground Proofs in Automated Deduction: a Survey.
J. Autom. Reason.
Maria Paola Bonacina, Moa Johansson
2015 J jnl
On Interpolation in Automated Theorem Proving.
J. Autom. Reason.
Maria Paola Bonacina, Moa Johansson
2015 C conf
TIP: Tons of Inductive Problems.
CICM
Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
2015 J jnl
The Theory behind Theory Mine.
IEEE Intell. Syst.
Alan Bundy, Flaminia Cavallo, Lucas Dixon, Moa Johansson, Roy L. McCasland
2014 C conf
Hipster: Integrating Theory Exploration in a Proof Assistant.
CICM
Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen
2014 J jnl
Hipster: Integrating Theory Exploration in a Proof Assistant.
CoRR
Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen
2013 A conf
Automating Inductive Proofs Using Theory Exploration.
CADE
Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
2013 B conf
Proof-Pattern Recognition and Lemma Discovery in ACL2.
LPAR
Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean
2013 J jnl
Proof-Pattern Recognition in ACL2.
CoRR
Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean
2012 — conf
HipSpec: Automating Inductive Proofs of Program Properties.
ATx/WInG@IJCAR
Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
2011 J jnl
Conjecture Synthesis for Inductive Theories.
J. Autom. Reason.
Moa Johansson, Lucas Dixon, Alan Bundy
2011 B conf
On Interpolation in Decision Procedures.
TABLEAUX
Maria Paola Bonacina, Moa Johansson
2010 B conf
Case-Analysis for Rippling and Inductive Proof.
ITP
Moa Johansson, Lucas Dixon, Alan Bundy
2010 — conf
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery.
Verification, Induction, Termination Analysis
Moa Johansson, Lucas Dixon, Alan Bundy
2006 — conf
Best-First Rippling.
Reasoning, Action and Interaction in AI Theories and Systems
Moa Johansson, Alan Bundy, Lucas Dixon