Name: Frederik Baymler Mathiesen
Type: User
Company: TU Delft
Bio: PhD student in ML @ TU Delft,
Previously: UC Berkeley, Aalborg University, Topics:
probabilistic verification, Bayesian neural networks, barrier functions
Location: Netherlands
Blog: https://www.baymler.com/
Frederik Baymler Mathiesen's Projects
Linear and interval bound propagation in Pytorch with easy-to-use API and GPU support.
CUDA programming in Julia.
An Elixir XLSX writer
GPU-accelerated value iteration for Interval Markov Decision Processes
Reproducibility package for the paper Mathiesen, Frederik Baymler, Morteza Lahijanian, and Luca Laurenti. "IntervalMDP. jl: Accelerated Value Iteration for Interval Markov Decision Processes." arXiv preprint arXiv:2401.04068 (2024).
My homemade ipe utils including colors, preambles, and ipelets, and guides including functional plotting, pages, and slidehows in ipe
An _educational_ implementation for computing the Jordan form and its transformation matrix.
Scalable Symbolic-Numeric Set Computations
Standardized API for multivariate polynomial bases based on the MultivariatePolynomials.jl API.
MicroPython libraries and examples that work out of the box on Pycom's IoT modules
Safe, Intelligent, Reliable, and Efficient traffic light Networks
Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.org/
Easy to use spatial indexing in Julia
Sum of Squares Programming for Julia
Traffic Light Open Specification
A beautiful, simple, clean, and responsive Jekyll theme for academics