Moa Johansson

Identifiers

• name variant Moa Johansson 0.60 · backfill

Papers (7)

1. Evaluating the relationship between regularity and learnability in recursive numeral systems using Reinforcement Learning cs.CL · 2026 · author #5
2. Lemmanaid: Neuro-Symbolic Lemma Conjecturing cs.AI · 2025 · author #5
3. Identifying cross country skiing techniques using power meters in ski poles cs.LG · 2019 · author #1
4. Proving Type Class Laws for Haskell cs.PL · 2018 · author #2
5. Towards Machine Learning on data from Professional Cyclists cs.LG · 2018 · author #3
6. Hipster: Integrating Theory Exploration in a Proof Assistant cs.LO · 2014 · author #1
7. Proof-Pattern Recognition and Lemma Discovery in ACL2 cs.LO · 2013 · author #3

Mentions

• 2504.04942 #5 · arxiv_oai · confidence 0.70 Moa Johansson
• 1405.3426 #1 · backfill · confidence 0.70 Moa Johansson
• 1308.1780 #3 · backfill · confidence 0.70 Moa Johansson

Frequent Coauthors

• Nicholas Smallbone 2 shared papers
• Agrin Hilmkil 1 shared papers
• Andreas Arvidsson 1 shared papers
• Andrea Silvi 1 shared papers
• Dan Kuylenstierna 1 shared papers
• Dan Rosen 1 shared papers
• Devdatt Dubhashi 1 shared papers
• Ekaterina Komendantskaya 1 shared papers
• Emily First 1 shared papers
• Ewen Maclean 1 shared papers
• George Granberry 1 shared papers
• Jennifer Culbertson 1 shared papers
• J\'onathan Heras 1 shared papers
• Kenny Smith 1 shared papers
• Koen Claessen 1 shared papers
• Marie Korneliusson 1 shared papers
• Nickey Lizbat Lawrence 1 shared papers
• Oscar Ivarsson 1 shared papers
• Ponrawee Prasertsom 1 shared papers
• Robin Touche 1 shared papers