About Mikolas Janota

I'm a computer scientist interested in the application of machine learning in the context of automated reasoning and formal methods.

Lists

Timeline

mikolas has no activity yet