2 papers
math.MG2026
Two-sided bounds for dihedral angle sums of path and 4-ball tetrahedra
Sergey Korotov, Michal Krizek
A tetrahedron is called a path tetrahedron, if it has three mutually orthogonal edges that do not intersect at a single point. A tetrahedron is called a 4-ball tetrahedron, if ther…
cs.LG2025
Explaining Deep Network Classification of Matrices: A Case Study on Monotonicity
Leandro Farina, Sergey Korotov
This work demonstrates a methodology for using deep learning to discover simple, practical criteria for classifying matrices based on abstract algebraic properties. By combining a…