@misc{indiciae1a4d7e6f7eff,
  title = {Beyond Correctness: Toward Automated Novelty Verification with Lean 4},
  author = {Ayrton Porto},
  year = {2026},
  url = {https://arxiv.org/abs/2608.14669},
  note = {Source identifier: 2608.14669}
}