TY  - RPRT
TI  - Proof2Silicon: Prompt Repair for Verified Code and Hardware Generation via Reinforcement Learning
AU  - Manvi Jha
AU  - Jiaxin Wan
AU  - Deming Chen
PY  - 2025
UR  - https://arxiv.org/abs/2509.06239
ID  - 2509.06239
ER  -