Papers
705 papers found
Certified Branch-and-Bound MaxSAT Solving
Dieter Vandesande, Jordi Coll, Bart Bogaerts
Making Visual Dialogue More Engaging: A New Task, Method, and Metric
Guanghui Ye, Huan Zhao, Yingxue Gao et al.
Learning to Rank: How GNNs Solve Max-Clique and Sparse PCA
Elad Shoham, Omri Haber, Havana Rika et al.
Matrix-Free Two-to-Infinity and One-to-Two Norms Estimation
Askar Tsyganov, Evgeny Frolov, Sergey Samsonov et al.