INI Seminar Room 1

@iniseminarroom1

110 tuit · page 2/3
Sciences formelles & physiques Mathématiques
FR

Towards a database of motivated proofs

Sir William Timothy Gowers
68 min
4/5
Preuves MotivéesDémonstration AutomatiqueIA Pour Les Mathématiques
Sciences formelles & physiques IA — Modèles & Recherche
FR

Steering Generative Models for Discovery

Andreas Krause
62 min
4/5
Modèles GénératifsApprentissage Par RenforcementDécouverte Scientifique