Filip Bártek
@bartefil
Member since August 26, 2019
Prague, Czech Republic
CIIRC
Applying machine learning to saturation-based automated theorem proving. Member of Automated Reasoning Group. Supervised by Josef Urban and Martin Suda.