@misc{indiciae2be8a9d216ce,
  title = {LLM-Powered Automatic Theorem Proving and Synthesis for Hybrid Systems and Games},
  author = {Aditi Kabra and Jonathan Laurent and Ruben Martins and Stefan Mitsch and André Platzer},
  year = {2026},
  doi = {10.34727/2026/isbn.978-3-85448-093-8\_71},
  url = {https://arxiv.org/abs/2603.00737},
  note = {Source identifier: 2603.00737}
}