logo
today local_bar
CNF

1 paper across 1 session

Poster Session 3

1 paper
Thursday, December 4, 2025 · 11:00 AM → 2:00 PM
Exhibit Hall C,D,E
Bridging Crypto with ML-based Solvers: the SAT Formulation and Benchmarks
#1514 · Xinhao Zheng, Xinhao Song, Bolin Qiu, Yang Li, Zhongteng Gui, Junchi Yan

This study propose a comprehensive benchmark for evaluating ML-based SAT solvers on cryptographic problems.