@misc{indiciae63d2c6f15970,
  title = {Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification},
  author = {Shuanglong Kan and Sebastian Ertel},
  year = {2026},
  url = {https://arxiv.org/abs/2605.04933},
  note = {Source identifier: 2605.04933}
}