conftrace_

equivalence-preserving transformation

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

geodesics (1) resolution refutation (1) gromov wasserstein (1) graph mixup (1) sat solver (1) low-dimensional manifold (1) generalization (1)

Papers

Graph Mixup on Approximate Gromov–Wasserstein Geodesics ICML 2024 Proofs and Certificates for Max-SAT (Extended Abstract) IJCAI 2023