Moa Johansson
Orcid: 0000-0002-1097-8278Affiliations:
- Chalmers University of Technology, Gothenburg, Sweden
- University of Edinburgh, School of Informatics, Edinburgh, UK (PhD 2009)
According to our database1,
Moa Johansson
authored at least 45 papers
between 2006 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
CoRR, April, 2025
CoRR, March, 2025
Fact Recall, Heuristics or Pure Guesswork? Precise Interpretations of Language Models for Fact Completion.
Proceedings of the Findings of the Association for Computational Linguistics, 2025
2024
Reasoning in Transformers - Mitigating Spurious Correlations and Reasoning Shortcuts.
Proceedings of the Neural-Symbolic Learning and Reasoning - 18th International Conference, 2024
Towards Integrating Copiloting and Formal Methods - Building Blocks, Architecture, and Challenges.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024
Proceedings of the Integrated Formal Methods - 19th International Conference, 2024
Proceedings of the 2nd Workshop on Fairness and Bias in AI co-located with 27th European Conference on Artificial Intelligence (ECAI 2024), 2024
2023
Proceedings of the Bridging the Gap Between AI and Reality, 2023
Proceedings of the 24th Nordic Conference on Computational Linguistics, 2023
Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, 2023
The Effect of Scaling, Retrieval Augmentation and Form on the Factual Consistency of Language Models.
Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023
Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics: Student Research Workshop, 2023
2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022
Proceedings of the 8th International Workshop on Artificial Intelligence and Cognition, 2022
2021
Proceedings of the 9th International Workshop on Verification and Program Transformation, 2021
2020
Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing.
Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020
2019
Proceedings of the Nordic Artificial Intelligence Research and Development, 2019
Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019
2018
Proceedings of the Artificial Intelligence and Symbolic Computation, 2018
2017
Automated Theory Exploration for Interactive Theorem Proving: - An Introduction to the Hipster System.
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017
QuickSpec: a lightweight theory exploration tool for programmers (system demonstration).
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017
2016
Proceedings of the Trends in Functional Programming - 17th International Conference, 2016
2015
J. Autom. Reason., 2015
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015
Proceedings of the Intelligent Computer Mathematics - International Conference, 2015
2014
Proceedings of the Intelligent Computer Mathematics - International Conference, 2014
2013
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Proceedings of the Automated Deduction - CADE-24, 2013
2012
Proceedings of the ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, 2012
2011
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011
2010
Proceedings of the Interactive Theorem Proving, First International Conference, 2010
Proceedings of the Verification, Induction, Termination Analysis, 2010
2006