Guillaume Baudart
gbdrt
ยท
AI & ML interests
None yet
Recent Activity
liked
a dataset
10 days ago
LLM4Rocq/miniF2F-rocq
liked
a dataset
27 days ago
florath/coq-facts-props-proofs-gen0-v1
Organizations
models
None public yet
datasets
None public yet