TY  - RPRT
TI  - AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
AU  - Yiwen Sun
AU  - Furong Ye
AU  - Xianyin Zhang
AU  - Shiyu Huang
AU  - Bingzhen Zhang
AU  - Ke Wei
AU  - Shaowei Cai
PY  - 2024
UR  - https://arxiv.org/abs/2402.10705
ID  - 2402.10705
ER  -