Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
Tony Shaska
shaska
Follow
0 followers
·
1 following
https://www.risat.org/shaska.html
ShaskaSr
tshaska
AI & ML interests
ML assisted proofs
Organizations
Papers
1
arxiv:
1807.05270
models
None public yet
datasets
1
shaska/genus2
Updated
Mar 24, 2024
•
11
