structural characteristics

3 papers

• ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data
• GraphLand: Evaluating Graph Machine Learning Models on Diverse Industrial Data
• Topology-aware Graph Diffusion Model with Persistent Homology