10 papers
SpecLoop: An Agentic RTL-to-Specification Framework with Formal Verification Feedback Loop
Fu-Chieh Chang, Yu-Hsin Yang, Hung-Ming Huang +5
RTL implementations frequently lack up-to-date or consistent specifications, making comprehension, maintenance, and verification costly and error-prone. While prior work has explor…
Explaining Intrinsic Moral Self-Correction with Mechanistic Interpretability
Yu-Ting Lee, Fu-Chieh Chang, Yu-En Shu +2
Intrinsic moral self-correction refers to the phenomenon where a language model refines its ethical judgments or aligns its outputs purely through prompting. While effective across…
Unveiling the Latent Directions of Reflection in Large Language Models
Fu-Chieh Chang, Yu-Ting Lee, Pei-Yuan Wu
Reflection, the ability of large language models (LLMs) to evaluate and revise their own reasoning, has been widely used to improve performance on complex reasoning tasks. Yet, mos…
Assessing Large Language Models in Generating RTL Design Specifications
Hung-Ming Huang, Yu-Hsin Yang, Fu-Chieh Chang +5
As IC design grows more complex, automating comprehension and documentation of RTL code has become increasingly important. Engineers currently should manually interpret existing RT…
Research on intelligent generation of structural demolition suggestions based on multi-model collaboration
Zhifeng Yang, Peizong Wu
The steel structure demolition scheme needs to be compiled according to the specific engineering characteristics and the update results of the finite element model. The designers n…
CAPM: Fast and Robust Verification on Maxpool-based CNN via Dual Network
Jia-Hau Bai, Chi-Ting Liu, Yu Wang +2
This study uses CAPM (Convex Adversarial Polytope for Maxpool-based CNN) to improve the verified bound for general purpose maxpool-based convolutional neural networks (CNNs) under…