7 citations · 19 across the 8 of their papers we have counts for
8 papers
Twitch: Learning Abstractions for Equational Theorem Proving
Guy Axelrod, Moa Johansson, Nicholas Smallbone
Several successful strategies in automated reasoning rely on human-supplied guidance about which term or clause shapes are interesting. In this paper we aim to discover interesting…
Towards Learning Abstractions via Reinforcement Learning
Erik Jergéus, Leo Karlsson Oinonen, Emil Carlsson +1
In this paper we take the first steps in studying a new approach to synthesis of efficient communication schemes in multi-agent systems, trained via reinforcement learning. We comb…
Conjectures, Tests and Proofs: An Overview of Theory Exploration
Moa Johansson, Nicholas Smallbone
A key component of mathematical reasoning is the ability to formulate interesting conjectures about a problem domain at hand. In this paper, we give a brief overview of a theory ex…
Identifying cross country skiing techniques using power meters in ski poles
Moa Johansson, Marie Korneliusson, Nickey Lizbat Lawrence
Power meters are becoming a widely used tool for measuring training and racing effort in cycling, and are now spreading also to other sports. This means that increasing volumes of…
Proving Type Class Laws for Haskell
Andreas Arvidsson, Moa Johansson, Robin Touche
Type classes in Haskell are used to implement ad-hoc polymorphism, i.e. a way to ensure both to the programmer and the compiler that a set of functions are defined for a specific d…
Towards Machine Learning on data from Professional Cyclists
Agrin Hilmkil, Oscar Ivarsson, Moa Johansson +2
Professional sports are developing towards increasingly scientific training methods with increasing amounts of data being collected from laboratory tests, training sessions and com…