JetBrains-Research/rocq-language-theorem-embeddings
0.1B
•
Updated
•
24
Andrei Kozyrev
kdizzled
AI & ML interests
None yet
Recent Activity
updated
a model
10 days ago
JetBrains-Research/rocq-language-theorem-embeddings
published
a model
6 months ago
JetBrains-Research/rocq-language-theorem-embeddings
updated
a model
6 months ago
JetBrains-Research/rocq-language-theorem-embeddings
Organizations
updated
a
model
10 days ago
published
a
model
6 months ago
updated
2
models
6 months ago