🧑🔬 Jason Rute — papers of 2024 — 1 paper, the most cited first1 paper · all years of Jason RuteGraph2Tac: Online Representation Learning of Formal Math ConceptsarXiv:2401.02949Lasse Blaauwbroek, Miroslav Olšák, Jason Rute, et al.2024 · 19 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/jason-rute/year/2024/