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