@misc{indiciae6d207513355b,
  title = {Automated Formalization of Probabilistic Requirements from Structured Natural Language},
  author = {Anastasia Mavridou and Marie Farrell and Gricel Vázquez and Tom Pressburger and Timothy E. Wang and Radu Calinescu and Michael Fisher},
  year = {2025},
  url = {https://arxiv.org/abs/2512.15788},
  note = {Source identifier: 2512.15788}
}