Moa Johansson

Showing 40 publications
Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods
Towards Integrating Copiloting and Formal Methods: Building Blocks, Architecture, and Challenges
Finding the structure of parliamentary motions in the Swedish Riksdag 1971–2015
Setting the AI Agenda – Evidence from Sweden in the ChatGPT Era
Lemma Discovery and Strategies for Automated Induction
Reasoning in Transformers – Mitigating Spurious Correlations and Reasoning Shortcuts
What Can Large Language Models Do for Theorem Proving and Formal Methods?
Can Large Language Models (or Humans) Disentangle Text?
Sudden Semantic Shifts in Swedish NATO Discourse
The Effect of Scaling, Retrieval Augmentation and Form on the Factual Consistency of Language Models
Exploring Mathematical Conjecturing with Large Language Models
Class Explanations: the Role of Domain-Specific Content and Stop Words
Machine Learning of Pacing Patterns for Half Marathon
Machine Learning Techniques for Gait Analysis in Skiing
Towards Learning Abstractions via Reinforcement Learning
TriCo—Triple Co-piloting of Implementation, Specification and Tests
Automated Conjecturing in QuickSpec
Conjectures, tests and proofs: An overview of theory exploration
Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing
Theory exploration: Conjecturing, testing and reasoning about programs
Proving Type Class Laws for Haskell
Identifying cross country skiing techniques using power meters in ski poles.
Lemma Discovery for Induction: A Survey
Into the infinite - theory exploration for coinduction
Towards Machine Learning on Data from Professional Cyclists
Automated theory exploration for interactive theorem proving: An introduction to the hipster system
QuickSpec: a lightweight theory exploration tool for programmers (system demonstration)
Quick Specifications for the Busy Programmer
On Interpolation in Automated Theorem Proving
TIP: Tons of Inductive Problems
Conditional Lemma Discovery and Recursion Induction in Hipster.
Interpolation Systems for Ground Proofs in Automated Deduction: a Survey
Hipster: Integrating theory exploration in a proof assistant
Proof-pattern recognition and lemma discovery in ACL2
Automating Inductive Proofs using Theory Exploration
Download publication list
You can download this list to your computer.
Filter and download publication list
As logged in user (Chalmers employee) you find more export functions in MyResearch.
You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:
Zotero Connector
Mendeley Web Importer
The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.
Showing 3 research projects
NeSSy: Neuro-symbolic Synthesis via Reinforcement Learning
Bias and methods of AI technology studying political behaviour
Learning and Exploration in Automated Theorem Proving