Mirek Olšák

1 papers · 2024–2024 · 1 conference · across top CS/AI conferences

Conferences

ICML (1)

Top co-authors

Fidel Ivan Schaposnik Massolo (1) Jelle Piepenbrock (1) Jason Rute (1) Vasily Pestun (1) Lasse Blaauwbroek (1)

Papers

Graph2Tac: Online Representation Learning of Formal Math Concepts ICML 2024