@article{ageneralisedframeworkforpropertydriven,
  title = {A General Framework for Property-Driven Machine Learning},
  author = {Thomas Flinkow and Marco Casadio and Colin Kessler and Rosemary Monahan and Ekaterina Komendantskaya},
  year = {2025},
  eprint = {2505.00466},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2505.00466v2},
}