Reinforcement learning for proofs
Carlos Simpson
| Thu Mar 12, 13:00-14:30 (3 weeks from now) | |
machine learningalgebraic topologydifferential geometrygeometric topologymetric geometry
Audience: researchers in the topic
Barcelona Mathematics and Machine Learning Colloquium Series
Series comments: Please, register for the whole series via the website bm2l.github.io/sign_up/ and you will receive the links to connect.
| Organizer: | Roberto Rubio* |
| *contact for this listing |
Export talk to