Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Validated-Aware Software
Graph Chatbot
Related lectures (32)
Previous
Page 4 of 4
Next
Stainless Tutorial: Verification of Scala Code
Covers the use of Stainless, a verification tool for Scala, to ensure the correctness of Scala code.
Image Classification: Overfitting and Accuracy Measures
Explores overfitting and accuracy measures in image classification, emphasizing the importance of model generalization and optimal accuracy.
