Hugging Face's logo
Victor Kasatkin's picture

Victor Kasatkin

fiktor
fiktor

AI & ML interests

Automated theorem proving

Organizations

University of Southern California's profile picture

models

None public yet