- Hem
- Om universitetet
- Hitta person
- Moa Johansson
Moa Johansson
Universitetslektor
Data Science och AI (DSAI 2)-
Word embeddings on ideology and issues from Swedish parliamentarians’ motions: a comparative
approach
Annika Freden, Moa Johansson, DENITSA SAYNOVA
Journal of Elections, Public Opinion and Parties - 2026 -
Benchmarking Debiasing Methods for LLM-based Parameter
Estimates
Nicolas Audinet de Pieuchon, Adel Daoud, Connor T. Jerzak, Moa Johansson, Richard Johansson
Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing - 2025 -
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
Findings of the Association for Computational Linguistics: ACL 2025, Vienna, Austria - 2025 -
PACE: Procedural Abstractions for Communicating
Efficiently
JONATHAN DAVID THOMAS, Andrea Silvi, Devdatt Dubhashi, Moa Johansson
Proceedings of the Annual Meeting of the Cognitive Science Society, 47(0) - 2025 -
Learning Efficient Recursive Numeral Systems via Reinforcement
Learning
Andrea Silvi, JONATHAN DAVID THOMAS, EMIL CARLSSON, Devdatt Dubhashi, Moa Johansson
Proceedings of the Annual Meeting of the Cognitive Science Society, 47(0) - 2025 -
Benchmarking Debiasing Methods for LLM-based Parameter
Estimates
Nicolas Audinet de Pieuchon, Adel Daoud, Connor T. Jerzak, Moa Johansson, Richard Johansson
Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing - 2025 -
Finding the structure of parliamentary motions in the Swedish Riksdag
1971–2015
SEBASTIANUS BRUINSMA, Moa Johansson
Quality and Quantity - 2024 -
Reasoning in Transformers – Mitigating Spurious Correlations and Reasoning
Shortcuts
Daniel Enström, Viktor Kjellberg, Moa Johansson
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2024 -
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 (NoDaLiDa), pages 103–112, Tórshavn, Faroe Islands - 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, pages 5457–5476, Singapore - 2023 -
TIP: Tons of Inductive
Problems
Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
Lecture Notes in Artificial Intelligence: International Conference on Intelligent Computer Mathematics (CICM) - 2015 -
On Interpolation in Automated Theorem
Proving
M. P. Bonacina, Moa Johansson
Journal of automated reasoning - 2015 -
The Theory behind
TheoryMine
A. Bundy, F. Cavallo, L. Dixon, Moa Johansson, R. McCasland
IEEE Intelligent Systems - 2015 -
Interpolation Systems for Ground Proofs in Automated Deduction: a
Survey
M.P. Bonacina, Moa Johansson
Journal of Automated Reasoning - 2015 -
Hipster: Integrating theory exploration in a proof
assistant
Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen
Lecture Notes in Computer Science - 2014 -
Proof-pattern recognition and lemma discovery in
ACL2
J. Heras, E. Komendantskaya, Moa Johansson, E. Maclean
Lecture Notes in Computer Science - 2013 -
Automating Inductive Proofs using Theory
Exploration
Koen Claessen, Dan Rosén, Moa Johansson, Nicholas Smallbone
24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013 - 2013