98 citations · 98 across the 1 of their papers we have counts for
2 papers
cs.LG2024
Graph2Tac: Online Representation Learning of Formal Math Concepts
Lasse Blaauwbroek, Miroslav Olšák, Jason Rute +3
In proof assistants, the physical proximity between two formal mathematical concepts is a strong predictor of their mutual relevance. Furthermore, lemmas with close proximity regul…
hep-th2017★ 98 cited
Phase Diagram of Planar Matrix Quantum Mechanics, Tensor, and Sachdev-Ye-Kitaev Models
Tatsuo Azeyanagi, Frank Ferrari, Fidel I. Schaposnik Massolo
We compute the phase diagram of a invariant fermionic planar matrix quantum mechanics [equivalently tensor or complex Sachdev-Ye-Kitaev (SYK) mod…