Projects
A selection of my work in applied mathematics and artificial intelligence.
Personal · 2026
Logic Tensor Networks
A presentation and hands-on case study of Logic Tensor Networks, a neuro-symbolic framework that combines deep learning with first-order logic. Covers how symbols, connectives and quantifiers become differentiable operations, and a semi-supervised MNIST experiment where the network learns to recognize single digits only from the sum of two digits, compared with a purely supervised baseline.
Neuro-symbolic AIPyTorchLTNtorchFirst-order logic
Academic · 2025
Gomory - Cutting Plane Method
A pure Python implementation of the Gomory cutting plane method for solving Integer Linear Programming (ILP) problems. Designed for educational purposes, it features exact fractional arithmetic and step-by-step simplex tableaux generation.
PythonLinear ProgrammingOptimization
Academic · 2025
Black-Scholes Simulation
Analytical resolution of the Black-Scholes equation by transforming it into the heat equation. Includes the derivation of the pricing formula and the calculation of the Delta Greek for a European Call option.
MathematicsPDEFinance
