Moa Johansson
Scholar

Moa Johansson

Google Scholar ID: qJ9O8GIAAAAJ
Associate Professor (Docent), Chalmers University
Neuro-symbolic AIAI for mathsAutomated ReasoningAI in SportsNLP
Google Scholar↗
Citations & Impact
All-time
Citations
519
 
H-index
14
 
i10-index
21
 
Publications
20
 
Co-authors
43
list available
Contact
No contact links provided.
Publications
11 items
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
Identifying Non-Replicable Social Science Studies with Language Models
2025
Cited
0
Resume (English only)
Co-authors
43 total
Nicholas Smallbone
Nicholas Smallbone
Chalmers University of Technology
Lucas Dixon
Lucas Dixon
PAIR, Google DeepMind
Alan Bundy
Alan Bundy
Professor of Automated Reasoning, University of Edinburgh
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Richard Johansson
Richard Johansson
University of Gothenburg and Chalmers University of Technology
Co-author 8
Co-author 8