Transfer Learning from Foundational Optimization Embeddings to Unsupervised SAT Representations
arXiv:2604.15448v1 Announce Type: cross
Abstract: Foundational optimization embeddings have recently emerged as powerful pre-trained representations for mixed-integer programming (MIP) problems. These embeddings were shown to enable cross-domain trans…