@misc{indiciae67971af886ff,
  title = {NoTB: Oracle-Free Triage of LLM-Generated RTL via Cross-Model Formal Consensus},
  author = {Elisavet Lydia Alvanaki and Je Yang and Biruk Seyoum and Luca P. Carloni},
  year = {2026},
  url = {https://arxiv.org/abs/2608.21962},
  note = {Source identifier: 2608.21962}
}