Hugging Face's logo
Nikolay Pultsin's picture
1

Nikolay Pultsin

geometer
dmitriys566's profile picture
ยท

AI & ML interests

automated reasoning with human-readable input (a problem) and output (the reasoning)

Organizations

None yet