Miroslav Olšák

Available identifiers

zbMath Open olsak.miroslavMaRDI QIDQ831936

List of research outcomes

Publication	Date of Publication	Type
Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems)	2024-12-19	Paper
Invariant neural architecture for learning term synthesis in instantiation proving	2024-12-09	Paper
The Isabelle ENIGMA	2024-07-15	Paper
Alien coding	2023-11-16	Paper
ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)	2022-11-09	Paper
GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry	2022-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q5091214	2022-07-21	Paper
The role of entropy in guiding a connection prover	2022-05-25	Paper
Learning theorem proving components	2022-05-25	Paper
Learning to solve geometric construction problems from images	2022-04-22	Paper
Fast and slow enigmas and parental guidance	2022-03-24	Paper
MALTSEV CONDITIONS FOR GENERAL CONGRUENCE MEET-SEMIDISTRIBUTIVE ALGEBRAS	2022-01-17	Paper
Maximal non-compactness of Sobolev embeddings	2021-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q4999300	2021-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q5144675	2021-01-19	Paper
𝜔-categorical structures avoiding height 1 identities	2020-12-18	Paper
Loop conditions for strongly connected digraphs	2020-04-16	Paper
The local loop lemma	2020-02-25	Paper
Loop conditions	2019-12-27	Paper
Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures	2019-11-29	Paper
Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems)	2019-01-14	Paper
Loop conditions with strongly connected graphs	2018-10-07	Paper
The weakest nontrivial idempotent equations	2018-01-16	Paper
Loop conditions	2017-01-01	Paper

Research outcomes over time

This page was built for person: Miroslav Olšák