Skip To Main Content
Jelle Piepenbrock on Muck Rack

Jelle Piepenbrock

As seen in: arXiv
Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work. Claim your profile
Back to Jelle Piepenbrock’s profile

Articles by Jelle Piepenbrock

Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving

|
By Miroslav Olšák, Jelle Piepenbrock, Fidel Ivan Schaposnik, Lasse Blaauwbroek
| arXiv
[Submitted on 5 Jan 2024 ( v1 ), last revised 9 Jan 2024 (this version, v2)] Title:Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving Download a PDF of the paper titled Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving, by Jason Rute and 5 other authors Download PDF Abstract:Concepts abound in mathematics and its applications.
Open in Who Shared Issue with article?

[2307.13014] Graph Neural Networks For Mapping Variables Between Programs -- Extended Version

|
By Jelle Piepenbrock, Mikoláš Janota, Vasco Manquinho
| arXiv
arXiv:2307.13014 (cs) Download a PDF of the paper titled Graph Neural Networks For Mapping Variables Between Programs -- Extended Version, by Pedro Orvalho and Jelle Piepenbrock and Mikol\'a\v{s} Janota and Vasco Manquinho Download PDF Submission history From: Pedro Orvalho [ view email] [v1] Mon, 24 Jul 2023 16:14:32 UTC (327 KB) Bibliographic Tools Bibliographic Explorer Toggle Bibliographic Explorer () Litmaps Toggle Litmaps (What is Litmaps?) scite.ai Toggle scite Smart Citations (What...
Open in Who Shared View Duplicates (676) Issue with article?
Show More