Models
Datasets
Spaces
Docs
Enterprise
Pricing
Log In
Sign Up

Eugene I's picture

1 1

Eugene I

geneing

·

AI & ML interests

None yet

Organizations

None yet

geneing 's collections 2

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving

Paper • 2502.07640 • Published Feb 11 • 9

hexgrad/Kokoro-82M

Text-to-Speech • Updated Apr 10 • 3.44M • • 5.45k

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving

Paper • 2502.07640 • Published Feb 11 • 9

hexgrad/Kokoro-82M

Text-to-Speech • Updated Apr 10 • 3.44M • • 5.45k

Company

TOS Privacy About Careers

Website

Models Datasets Spaces Pricing Docs