Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design. - Matthew DeLorenzo; Kevin Tieu; Prithwish Jana; Piyush Jha; Dileep Kalathil; Vijay Ganesh 001; Jeyavijayan Rajendran (CoRR, 2025)