MS student, Shanghai Jiaotong University
2 papers at NeurIPS 2025
For deductive formal problem-solving (D-FPS), we propose a method and a data generation pipeline.
This study propose a comprehensive benchmark for evaluating ML-based SAT solvers on cryptographic problems.
