conftrace_
← Mathematics
Mathematics & Optimization › Mathematics ›

Algebra

68 papers

Papers per year

1
2
5
8
'10
'15
'20
'25

Papers

A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic AAAI 2025
Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth AAAI 2025
Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs AAAI 2025
Dimension Reduction for Symbolic Regression AAAI 2025
Discovering Symmetries of ODEs by Symbolic Regression AAAI 2025
The Gradient of Algebraic Model Counting AAAI 2025
REVISITING MULTI-PERMUTATION EQUIVARIANCE THROUGH THE LENS OF IRREDUCIBLE REPRESENTATIONS ICLR 2025
Tensorial Multi-view Clustering with Deep Anchor Graph Projection IJCAI 2025
Learning to compute Gröbner bases NIPS 2024
S-SOS: Stochastic Sum-Of-Squares for Parametric Polynomial Optimization NIPS 2024
On Affine Homotopy between Language Encoders NIPS 2024
Applying language models to algebraic topology: generating simplicial cycles using multi-labeling in Wu’s formula ICML 2024
Convexity Certificates for Symbolic Tensor Expressions IJCAI 2024
A Framework for Fast and Stable Representations of Multiparameter Persistent Homology Decompositions NIPS 2023
Abide by the law and follow the flow: conservation laws for gradient flows NIPS 2023
Machine learning detects terminal singularities NIPS 2023
Toplogical Data Analysis Detects and Classifies Sunspots (Student Abstract) AAAI 2023
Minimal Solutions to Uncalibrated Two-view Geometry with Known Epipoles ICCV 2023
Theoretical and Numerical Analysis of 3D Reconstruction Using Point and Line Incidences ICCV 2023
A Group-Theoretic Approach to Computational Abstraction: Symmetry-Driven Hierarchical Clustering JMLR 2023
Neural Sheaf Diffusion: A Topological Perspective on Heterophily and Oversmoothing in GNNs NIPS 2022
Multiway Spherical Clustering via Degree-Corrected Tensor Block Models AISTATS 2022
The Algebraic Path Problem for Graph Metrics ICML 2022
Fully-Connected Network on Noncompact Symmetric Space and Ridgelet Transform based on Helgason-Fourier Analysis ICML 2022
The decomposition of the higher-order homology embedding constructed from the $k$-Laplacian NIPS 2021