@misc{indiciaeab3a70c9b0f3,
  title = {One-Shot Learning for k-SAT},
  author = {Andreas Galanis and Leslie Ann Goldberg and Xusheng Zhang},
  year = {2025},
  url = {https://arxiv.org/abs/2502.07135},
  note = {Source identifier: 2502.07135}
}