@mikolas@mathstodon.xyz
Joined: 06/11/2022
34
Followers
101
Following
I'm a computer scientist interested in the application of machine learning in the context of automated reasoning and formal methods.
{username} has no public lists
{username} has no activity yet