research
∙
12/28/2022
Towards Learning Abstractions via Reinforcement Learning
In this paper we take the first steps in studying a new approach to synt...
share
research
∙
09/07/2021
Conjectures, Tests and Proofs: An Overview of Theory Exploration
A key component of mathematical reasoning is the ability to formulate in...
research
∙
04/23/2019
Identifying cross country skiing techniques using power meters in ski poles
Power meters are becoming a widely used tool for measuring training and ...
research
∙
08/17/2018
Proving Type Class Laws for Haskell
Type classes in Haskell are used to implement ad-hoc polymorphism, i.e. ...
research
∙
08/01/2018