Moa Johansson
Chalmers tekniska högskola
H-index: 15
Europe-Sweden
Top articles of Moa Johansson
Can Large Language Models (or Humans) Distill Text?
arXiv preprint arXiv:2403.16584
2024/3/25
Reasoning in Transformers-Mitigating Spurious Correlations and Reasoning Shortcuts
arXiv preprint arXiv:2403.11314
2024/3/17
Moa Johansson
H-Index: 10
Finding the structure of parliamentary motions in the Swedish Riksdag 1971–2015
Quality & Quantity
2023/12/18
Moa Johansson
H-Index: 10
The Effect of Scaling, Retrieval Augmentation and Form on the Factual Consistency of Language Models
2023/11/2
Moa Johansson
H-Index: 10
Richard Johansson
H-Index: 17
What Can Large Language Models Do for Theorem Proving and Formal Methods?
2023/10/23
Moa Johansson
H-Index: 10
Sudden Semantic Shifts in Swedish NATO discourse
2023/7
Moa Johansson
H-Index: 10
Class Explanations: the Role of Domain-Specific Content and Stop Words
2023/3/20
Moa Johansson
H-Index: 10
Richard Johansson
H-Index: 17
Exploring Mathematical Conjecturing with Large Language Models
2023
Moa Johansson
H-Index: 10
Nicholas Smallbone
H-Index: 10
Pacing Patterns of Half-Marathon Runners: An analysis of ten years of results from Gothenburg Half Marathon
International Journal of Computer Science in Sport
2023
Moa Johansson
H-Index: 10
Generating Weekly Training Plans in the Style of a Professional Swimming Coach Using Genetic Algorithms and Random Trees
2022
Moa Johansson
H-Index: 10
TriCo—Triple Co-piloting of Implementation, Specification and Tests
2022/10/17
Machine Learning of Pacing Patterns for Half Marathon
2022/9/10
Moa Johansson
H-Index: 10
LOL: A library of lemma templates for data-driven conjecturing
Work-in-progress papers presented at the 15th Conference on Intelligent Computer Mathematics (CICM 2022) Informal Proceedings
2022/8
Towards Learning Abstractions via Reinforcement Learning
2022
Emil Carlsson
H-Index: 1
Moa Johansson
H-Index: 10
Machine Learning Techniques for Gait Analysis in Skiing
2022
Moa Johansson
H-Index: 10
Dan Kuylenstierna
H-Index: 14
A comparison of language processing models in political analysis: Evidence from Sweden
2021/10
Annika Fredén
H-Index: 5
Moa Johansson
H-Index: 10
Automated Conjecturing in QuickSpec
1st Mathematical Reasoning in General Artificial Intelligence Workshop, ICLR
2021
Moa Johansson
H-Index: 10
Nicholas Smallbone
H-Index: 10
Template-based theory exploration: discovering properties of functional programs by testing
2020/9/2
Co-Authors
