Andrei Kozyrev's picture

Andrei Kozyrev

kdizzled

·

AI & ML interests

None yet

Recent Activity

updated a model 5 days ago

JetBrains-Research/rocq-language-theorem-embeddings

updated a model 5 days ago

JetBrains-Research/rocq-language-theorem-embeddings

published a model 5 months ago

JetBrains-Research/rocq-language-theorem-embeddings

View all activity

Organizations

models 0

None public yet

datasets 0

None public yet