1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.AR2026
Search-Guided Reasoning Trace Curation for Verilog Generation
Matthew DeLorenzo, Kevin Tieu, Prithwish Jana +4
Recent advances in large language models (LLMs) have improved Verilog generation. However, most training pipelines distill natural-language reasoning traces whose intermediate desi…
cs.PL2025★ 1 cited
Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
Matthew DeLorenzo, Kevin Tieu, Prithwish Jana +4
Large language models (LLMs) have achieved impressive proficiency on logic and programming tasks, often rivaling expert-level performance. However, generating functionally correct…