Pinned Repositories
moloch
A LaTeX Beamer theme, forked from the metropolis theme
Marabou
comparing-differentiable-logics
An experimental comparison of differentiable logics for machine learning with logical constraints.
dl-comparison
Code for the FMAS 2023 paper "Comparing Differentiable Logics for Learning Systems: A Research Preview"
fluentmvvm
An easy-to-use ViewModelBase for WPF with an intuitive fluent API
fmas2024
Code for the FMAS 2024 paper "Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report"
individualised-assignments-latex
A framework to generate individualised mathematical assignments in LaTeX using symbolic computation.
tflinkow's Repositories
tflinkow/fluentmvvm
An easy-to-use ViewModelBase for WPF with an intuitive fluent API
tflinkow/individualised-assignments-latex
A framework to generate individualised mathematical assignments in LaTeX using symbolic computation.
tflinkow/comparing-differentiable-logics
An experimental comparison of differentiable logics for machine learning with logical constraints.
tflinkow/dl-comparison
Code for the FMAS 2023 paper "Comparing Differentiable Logics for Learning Systems: A Research Preview"
tflinkow/fmas2024
Code for the FMAS 2024 paper "Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report"