Yun Liang

Clover fixes nearly all RTL bugs while covering significantly more cases than traditional and LLM-based methods, showcasing a breakthrough in automated program repair.

LLM agent systems can achieve up to 76% speedups and significantly reduced hotspot miss rates by intelligently caching logits and scheduling compute resources based on agent behavior.

Automating equality saturation strategy synthesis is now possible: EggMind uses LLMs to reduce cost by 45% and RAM by 69% on vectorization tasks.

LLMs fixing hardware bugs struggle with the complexity of SoCs, where performance drops below 65%, revealing a significant gap compared to simpler core designs.