APA (7th ed.) Citation

Jha, M., Wan, J., & Chen, D. (2025). Proof2Silicon: Prompt Repair for Verified Code and Hardware Generation via Reinforcement Learning.

Chicago Style (17th ed.) Citation

Jha, Manvi, Jiaxin Wan, and Deming Chen. Proof2Silicon: Prompt Repair for Verified Code and Hardware Generation via Reinforcement Learning. 2025.

MLA (9th ed.) Citation

Jha, Manvi, et al. Proof2Silicon: Prompt Repair for Verified Code and Hardware Generation via Reinforcement Learning. 2025.

Warning: These citations may not always be 100% accurate.