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