Episode 47: A fireside chat with Prof. Supratik Chakraborty - Part 2
Formal bytes: The Axiomise Podcast Channel - Un pódcast de Axiomise
Categorías:
Pleased to bring up the second part of the chat with Prof. Supratik Chakaraborty from IIT Bombay. We talk on boolean function synthesis, AI/ML, BDDs and SAT. Find out the next big thing in synthesis that has the potential to break the RSA!
