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
[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.
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.
