Zinoex
PhD student in ML @ TU Delft, Previously: UC Berkeley, Aalborg University, Topics: probabilistic verification, Bayesian neural networks, barrier functions
TU DelftNetherlands
Pinned Repositories
neural-barrier-functions
Neural networks as barrier functions for stochastic discrete-time systems trained and verified using bound propagation
bayne
bound_propagation
Linear and interval bound propagation in Pytorch with easy-to-use API and GPU support.
elixlsx
An Elixir XLSX writer
hyperverlet
IntervalMDP.jl
GPU-accelerated value iteration for Interval Markov Decision Processes
ipe_utils
My homemade ipe utils including colors, preambles, and ipelets, and guides including functional plotting, pages, and slidehows in ipe
JordanForm.jl
An _educational_ implementation for computing the Jordan form and its transformation matrix.
manim-control
Spatial.jl
Easy to use spatial indexing in Julia
Zinoex's Repositories
Zinoex/bound_propagation
Linear and interval bound propagation in Pytorch with easy-to-use API and GPU support.
Zinoex/hyperverlet
Zinoex/IntervalMDP.jl
GPU-accelerated value iteration for Interval Markov Decision Processes
Zinoex/bayne
Zinoex/ipe_utils
My homemade ipe utils including colors, preambles, and ipelets, and guides including functional plotting, pages, and slidehows in ipe
Zinoex/elixlsx
An Elixir XLSX writer
Zinoex/JordanForm.jl
An _educational_ implementation for computing the Jordan form and its transformation matrix.
Zinoex/manim-control
Zinoex/Spatial.jl
Easy to use spatial indexing in Julia
Zinoex/LazySets.jl
Scalable Symbolic-Numeric Set Computations
Zinoex/MultivariateBases.jl
Standardized API for multivariate polynomial bases based on the MultivariatePolynomials.jl API.
Zinoex/pycom-libraries
MicroPython libraries and examples that work out of the box on Pycom's IoT modules
Zinoex/CUDA.jl
CUDA programming in Julia.
Zinoex/DCSC-SciML-Tutorial
Code to accompany presentation at DCSC SciML Tutorial 22/11/2024
Zinoex/Formal-Deep-Kernel-Synthesis
Zinoex/IntervalMDP.jl_ReproducibilityPackage
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).
Zinoex/SciMLDocs
Global documentation for the Julia SciML Scientific Machine Learning Organization
Zinoex/siren
Safe, Intelligent, Reliable, and Efficient traffic light Networks
Zinoex/sismic
Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.org/
Zinoex/SumOfSquares.jl
Sum of Squares Programming for Julia
Zinoex/tlos
Traffic Light Open Specification
Zinoex/zinoex.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics