Michele Mignani
Ph.D XL
Supervisor: Angelo Montanari
Phone:
Room: RIZ1 - L1-10-CD
Mail: mignani.michele@spes.uniud.it
Research Project
Autoformalization for AI/AGI safety
Supervisor: Angelo Montanari
Phone:
Room: RIZ1 - L1-10-CD
Mail: mignani.michele@spes.uniud.it
Autoformalization for AI/AGI safety