How to Integrate Logic and Argumentation into Human-Centric AutoML
The AutoML PodcastJune 26, 202300:43:0929.66 MB

How to Integrate Logic and Argumentation into Human-Centric AutoML

Today we're talking with Joseph Giovanelli about his work on integrating logic and argumentation into AutoML systems.

Joseph is a PhD student at the University of Bologna. He was more recently in Hannover working on ethics and fairness with Marius’ team.

The paper he published presents his framework, HAMLET, which stands for Human-centric AutoML via Logic and Argumentation. It allows a user to iteratively specify constraints in a formal manner and, once defined, those constraints become logical premises. Those premises, when combined together, can produce conflicts with one another, thereby reducing the search space and providing deeper intuition back to the user.

To learn more about HAMLET, see the paper here: https://ceur-ws.org/Vol-3135/dataplat_short2.pdf and the repo here: https://github.com/QueueInc/HAMLET

To follow Joseph on LinkedIn, see his profile here: https://www.linkedin.com/in/joseph-giovanelli/