Algebra

One Model to Rule Them All: Canonically Gluing Causal Models Along Shared Substructures UAI 2026 A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic AAAI 2025 Dimension Reduction for Symbolic Regression AAAI 2025 Discovering Symmetries of ODEs by Symbolic Regression AAAI 2025 Regularity in Canonicalized Models: A Theoretical Perspective AISTATS 2025 REVISITING MULTI-PERMUTATION EQUIVARIANCE THROUGH THE LENS OF IRREDUCIBLE REPRESENTATIONS ICLR 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 Tensorial Multi-view Clustering with Deep Anchor Graph Projection IJCAI 2025 The Gradient of Algebraic Model Counting AAAI 2025 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 Generalized Expected Utility as a Universal Decision Rule – A Step Forward UAI 2024 Learning to compute Gröbner bases NeurIPS 2024 On Affine Homotopy between Language Encoders NeurIPS 2024 S-SOS: Stochastic Sum-Of-Squares for Parametric Polynomial Optimization NeurIPS 2024 Abide by the law and follow the flow: conservation laws for gradient flows NeurIPS 2023 A Framework for Fast and Stable Representations of Multiparameter Persistent Homology Decompositions NeurIPS 2023 A Group-Theoretic Approach to Computational Abstraction: Symmetry-Driven Hierarchical Clustering JMLR 2023 Approximate Vanishing Ideal Computations at Scale ICLR 2023 Machine learning detects terminal singularities NeurIPS 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 Toplogical Data Analysis Detects and Classifies Sunspots (Student Abstract) AAAI 2023 Fully-Connected Network on Noncompact Symmetric Space and Ridgelet Transform based on Helgason-Fourier Analysis ICML 2022