14 citations · 15 across the 3 of their papers we have counts for
1 paper · 1 filter
Ruiqi Zhang, Jiahao Wang, Mingxuan Li +9
Existing Simulink benchmarks mainly evaluate whether generated models compile, execute, or resemble a reference model. These criteria do not establish whether a model satisfies its…