Miroslav Olsák

According to our database1, Miroslav Olsák authored at least 24 papers between 2017 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving.
CoRR, 2024

Hashing Modulo Context-Sensitive α-Equivalence.
CoRR, 2024

2023
Alien coding.
Int. J. Approx. Reason., November, 2023

MizAR 60 for Mizar 50.
Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022
Machine Learning Meets The Herbrand Universe.
CoRR, 2022

The Isabelle ENIGMA.
Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2021
Maltsev conditions for General Congruence Meet-semidistributive Algebras.
J. Symb. Log., 2021

Erratum: Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures.
J. Math. Log., 2021

The Role of Entropy in Guiding a Connection Prover.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

Learning Theorem Proving Components.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

Planning from Pixels in Environments with Combinatorially Hard Search Spaces.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Learning to Solve Geometric Construction Problems from Images.
Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021

Fast and Slow Enigmas and Parental Guidance.
Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

2020
Loop conditions for strongly connected digraphs.
Int. J. Algebra Comput., 2020

ω-categorical structures avoiding height 1 identities.
CoRR, 2020

GeoLogic - Graphical Interactive Theorem Prover for Euclidean Geometry.
Proceedings of the Mathematical Software - ICMS 2020, 2020

Property Invariant Embedding for Automated Reasoning.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description).
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019
Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures.
J. Math. Log., 2019

Topology is relevant (in the infinite-domain dichotomy conjecture for constraint satisfaction problems).
CoRR, 2019

Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems).
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Dichotomy for Symmetric Boolean PCSPs.
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

2018
Reinforcement Learning of Theorem Proving.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

2017
The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017


  Loading...