@misc{indiciae29b3a90e18a3,
  title = {Self-Satisfied: An end-to-end framework for SAT generation and prediction},
  author = {Christopher R. Serrano and Jonathan Gallagher and Kenji Yamada and Alexei Kopylov and Michael A. Warren},
  year = {2024},
  url = {https://arxiv.org/abs/2410.14888},
  note = {Source identifier: 2410.14888}
}