
Miroslav Olšák
University of Innsbruck
graph neural network. automated reasoning. formula embedding
1
presentations
SHORT BIO
"2010 -- 2013: Batchelor study, Mathematics, Charles University 2013 -- 2015: Master study, Mathematical structures, Charles University 2015 -- 2019: Ph.D. study, Universal Algebra, Charles University 2019 -- now: research assistent, Machine learning for automated reasoning, University of Innsbruck"
Presentations

Property Invariant Embedding for Automated Reasoning
Miroslav Olšák