DIMAI, Università degli Studi di Firenze

Seminar schedule

Some Combinations of Machine Learning and Theorem Proving Methods

Event image
Event created by: Daniele Angella
  • Title: Some Combinations of Machine Learning and Theorem Proving Methods
  • Speaker: Josef Urban, Czech Institute of of Informatics, Robotics and Cybernetics
  • Location: Aula 201 - DIMAI
  • Date: Tuesday 29/04/2025, 14:30
  • Subjects: [Dini Mathematical Colloquium]
  • Abstract: