conftrace_

algebraic structure

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

finite model (2) sat solver (2) semantic independence (1) partial orthogonality (1) associativity (1) mirrored algebra (1) union (1) in-distribution generalization (1) lexicographic ordering (1) model enumeration (1)

Papers

Complete Symmetry Breaking for Finite Models AAAI 2025 It Ain’t That Bad: Understanding the Mysterious Performance Drop in OOD Generalization for Generative Transformer Models IJCAI 2024 SAT-Based Techniques for Lexicographically Smallest Finite Models AAAI 2024 Transport of Algebraic Structure to Latent Embeddings ICML 2024 Uncovering Meanings of Embeddings via Partial Orthogonality NeurIPS 2023