1 search result for "author:"Mirek Olsak""

Showing 1 - 1
  1. coq-graph2tac

    No documentation

    Graph neural network that predicts tactics for Tactician
    Jason Rute Mirek Olsak Lasse Blaauwbroek Fidel I. Schaposnik Massolo Jelle Piepenbrock et al.
    1.0.anon
    https://zenodo.org/records/10410474/files/LICENSE.md
    Used by 0 other packages
    11 Jan 2024