Browsing: Introduction

Intro to proof assistants who transitioned into data science, and I work daily with machine learning algorithms. I’m fascinated both…

In my first TDS post, I wrote about how to translate a real-world problem into an integer linear program. In my second,…

series about Reinforcement Learning (RL), following Sutton and Barto’s famous book “Reinforcement Learning” [1]. In the previous posts we finished…

to evidential deep learning (EDL), a framework for one-shot quantification of epistemic and aleatoric uncertainty. More specifically, we will focus…