@misc{indiciaeaf3e82d86a9c,
  title = {Emergent Formal Verification: How an Autonomous AI Ecosystem Independently Discovered SMT-Based Safety Across Six Domains},
  author = {Octavian Untila},
  year = {2026},
  url = {https://arxiv.org/abs/2603.21149},
  note = {Source identifier: 2603.21149}
}