research
∙
03/04/2023
Lon-eå at SemEval-2023 Task 11: A Comparison of Activation Functions for Soft and Hard Label Prediction
We study the influence of different activation functions in the output l...
share
research
∙
02/20/2019
Termination of Linear Loops over the Integers
We consider the problem of deciding termination of single-path while loo...
research
∙
02/20/2019
On Termination of Integer Linear Loops
We consider the problem of determining termination of single-path loops ...
research
∙
06/20/2018
