This is a Data Science Popup session by Hristo Spassimirov Paskov, Founder & CEO of ThinkFast.   Summary Machine learning has revolutionized the t... (more…)

Using these tips will drastically reduce redundant work. There will be less “What did I screw again” moments. (more…)

We review state-of-the-art formal methods applied to the emerging field of the verification of machine learning systems. Formal methods can provide rigorous correctness guarantees on hardware and software systems. Thanks to the availability of mature tool... (more…)

Applying deep learning techniques to previously analyzed datasets revealed undetected signals of interest... (more…)

FairPut - Fair Machine Learning Outputs (Explainability, Robustness, Fairness) - firmai/fairput... (more…)