profile picture

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

Stay up to date with the latest Underline news!

Select topic of interest (you can select more than one)

PRESENTATIONS

  • All Presentations
  • For Librarians
  • Resource Center
  • Free Trial
Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2025 Underline - All rights reserved