TY  - RPRT
TI  - Self-Satisfied: An end-to-end framework for SAT generation and prediction
AU  - Christopher R. Serrano
AU  - Jonathan Gallagher
AU  - Kenji Yamada
AU  - Alexei Kopylov
AU  - Michael A. Warren
PY  - 2024
UR  - https://arxiv.org/abs/2410.14888
ID  - 2410.14888
ER  -