2 papers
cs.AR2026
FormalRTL: Verified RTL Synthesis at Scale
Kezhi Li, Min Li, Xiangyu Wen +4
Large language models (LLMs) have demonstrated significant potential in automating hardware synthesis, yet substantial barriers remain for industrial-scale, datapath-centric design…
cs.AI2025
FISCAL: Financial Synthetic Claim-document Augmented Learning for Efficient Fact-Checking
Rishab Sharma, Iman Saberi, Elham Alipour +2
Financial applications of large language models (LLMs) require factual reliability and computational efficiency, yet current systems often hallucinate details and depend on prohibi…