@misc{indiciae52d7deb633b7,
  title = {Proof2Silicon: Prompt Repair for Verified Code and Hardware Generation via Reinforcement Learning},
  author = {Manvi Jha and Jiaxin Wan and Deming Chen},
  year = {2025},
  url = {https://arxiv.org/abs/2509.06239},
  note = {Source identifier: 2509.06239}
}