Combining formal methods and machine learning
Formal methods offer rigorous techniques for reasoning about systems, while, more recently, data-driven approaches based on machine learning have become popular. The two techniques are complementary, and this talk explores ways in which thay have been combined together.
1 Episodes
People also ask
What is the main theme of the podcast?
Who are some of the popular guests the podcast?
Were there any controversial topics discussed in the podcast?
Were any current trending topics addressed in the podcast?
What popular books were mentioned in the podcast?