Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
1
Nikolay Pultsin
geometer
Follow
geometer
AI & ML interests
automated reasoning with human-readable input (a problem) and output (the reasoning)
Organizations
None yet
models
None public yet
datasets
None public yet
