1 citations · 2 across the 8 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
cs.SE2024★ 1 cited
ARCEAK: An Automated Rule Checking Framework Enhanced with Architectural Knowledge
Junyong Chen, Ling-I Wu, Minyu Chen +4
Automated Rule Checking (ARC) plays a crucial role in advancing the construction industry by addressing the laborious, inconsistent, and error-prone nature of traditional model rev…
cs.SE2024★ 1 cited
Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models
Ruibang Liu, Minyu Chen, Ling-I Wu +2
Automated program verification has always been an important component of building trustworthy software. While the analysis of real-world programs remains a theoretical challenge, t…
cs.AI2024
Can Language Models Pretend Solvers? Logic Code Simulation with LLMs
Minyu Chen, Guoqiang Li, Ling-I Wu +4
Transformer-based large language models (LLMs) have demonstrated significant potential in addressing logic problems. capitalizing on the great capabilities of LLMs for code-related…