today local_bar

Xinhao Song

Undergrad student, Shanghai Jiaotong University

1 paper at NeurIPS 2025

Homepage· OpenReview· Semantic Scholar· Google Scholar

Poster Session 3

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.