Scholar
Moa Johansson
Google Scholar ID: qJ9O8GIAAAAJ
Associate Professor (Docent), Chalmers University
Neuro-symbolic AI
AI for maths
Automated Reasoning
AI in Sports
NLP
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
519
H-index
14
i10-index
21
Publications
20
Co-authors
43
list available
Publications
12 items
Issue Bias in Generative AI Writing Assistance: Political Issues and LLMs in the Swedish 2026 Election
2026
Cited
0
Twitch: Learning Abstractions for Equational Theorem Proving
2026
Cited
0
Evaluating the relationship between regularity and learnability in recursive numeral systems using Reinforcement Learning
2026
Cited
0
Recursive numeral systems are highly regular and easy to process
2025
Cited
0
Benchmarking Debiasing Methods for LLM-based Parameter Estimates
2025
Cited
0
Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
2025
Cited
0
A Knowledge Base for Arts and Inclusion -- The Dataverse data archival platform as a knowledge base management system enabling multimodal accessibility
2025
Cited
0
Lemmanaid: Neuro-Symbolic Lemma Conjecturing
2025
Cited
0
Load more
Co-authors
8 total
Nicholas Smallbone
Chalmers University of Technology
Lucas Dixon
PAIR, Google DeepMind
Alan Bundy
Professor of Automated Reasoning, University of Edinburgh
Richard Johansson
University of Gothenburg and Chalmers University of Technology
Wolfgang Ahrendt
Professor of Computer Science, Chalmers University of Technology
Ekaterina Komendantskaya
Professor in Computer Science, Southampton University and Heriot-Watt University, UK
Jónathan Heras
University of La Rioja
Adel Daoud
Institute for Analytical Sociology, Linköping University, Division for Data Science and AI, Chalmers