Linfeng Du
2 papers · Latest:
AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs
AutoINV is a framework that generates helper assertions from high-level synthesis designs to significantly speed up formal verification of HLS-generated hardware.
2604.22285
Artificial IntelligenceLLM Safety From Within: Detecting Harmful Content with Internal Representations
SIREN is a lightweight guard model that detects harmful content by leveraging LLM's internal representations, outperforming current models.
2604.18519
📬 Weekly AI Paper Digest
Get the top 10 AI/ML arXiv papers from the week — summarized, scored, and delivered to your inbox every Monday.