Guillaume Baudart
gbdrt
ยท
AI & ML interests
None yet
Recent Activity
liked
a dataset
about 1 month ago
LLM4Rocq/miniF2F-rocq
liked
a dataset
about 2 months ago
florath/coq-facts-props-proofs-gen0-v1
Organizations
models
0
None public yet
datasets
0
None public yet