Alcides Fonseca.AI & Programming Languages researcher
40.197958, -8.408312

Making intelligent software
more reliable.

I work on the intersection of AI, Software Engineering and Programming Languages. Currently, I am applying Formal Methods to Agents, towards AI Safety.

Program synthesisLiquid typesReliable AIGuardrailsEvals

Resource: Scientific Plots

Here are a few resources for plotting scientific data that is accessible and accurate.

  • YellowBrick — A matplotlib-based library for data-science. It has several templates for evaluating classifiers, exploring data, …

  • missingno — A visualization library for understanding missing data in datasets.

  • LovelyPlots – A theme for beautiful and TeX-compatible matplotlib themes.