1 paper
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…