#FalsificationLedgers
Rule-Guided and Trajectory-Aware Repair for LLM-Based HLS Generation

👥 Xianjing Zhu, Wenqi Lou, Yuanbo Wen, Teng Wang, Lei Gong, Chao Wang, Xuehai Zhou

#HighLevelSynthesis #ExecutableRepairContracts #FalsificationLedgers #CandidateBoundValidation

🔗 trendtoknow.com/papers/2611....
November 9, 2026 at 5:01 PM