3 citations · 4 across the 3 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.AI2025
Proof2Silicon: Prompt Repair for Verified Code and Hardware Generation via Reinforcement Learning
Manvi Jha, Jiaxin Wan, Deming Chen
Large Language Models (LLMs) have demonstrated impressive capabilities in automated code generation but frequently produce code that fails formal verification, an essential require…
cs.CE2025
Toward Engineering AGI: Benchmarking the Engineering Design Capabilities of LLMs
Xingang Guo, Yaxin Li, Xiangyi Kong +62
Modern engineering, spanning electrical, mechanical, aerospace, civil, and computer disciplines, stands as a cornerstone of human civilization and the foundation of our society. Ho…