Publications: Dr Frederik Dahlqvist

Constantinides G, Dahlqvist F, Rakamarić Z, Salvia R ( 2024 ) . Automated Roundoff Error Analysis of Probabilistic Floating-Point Computations . ACM Transactions on Probabilistic Machine Learning

Mason-Williams G, Dahlqvist F ( 2024 ) . What Makes a Good Prune? Maximal Unstructured Pruning for Maximal Cosine Similarity . Conference: The Twelfth International Conference on Learning Representations

Dahlqvist F, Neves R ( 2023 ) . The syntactic side of autonomous categories enriched over generalised metric spaces . Logical Methods in Computer Science vol. Volume 19, Issue 4 ,

Dahlqvist F, Neves R ( 2023 ) . A Complete V-Equational System for Graded lambda-Calculus . Electronic Notes in Theoretical Informatics and Computer Science vol. Volume 3 - Proceedin ,

Dahlqvist F, Silva A, Smith W ( 2023 ) . Deterministic stream-sampling for probabilistic programming: semantics and verification . Conference: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) vol. 00 , 1 - 13 .