Jonathan Laurent
jonathan-laurent
ยท
AI & ML interests
Machine learning and theorem proving
Organizations
models
0
None public yet
datasets
0
None public yet