Nikolay Pultsin's picture
1

Nikolay Pultsin

geometer

AI & ML interests

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

Organizations

None yet

geometer's activity