activity
20242026
most citedChemFM as a Scaling Law Guided Foundation Model Pre-trained on Informative Chemicals

5 citations · 6 across the 6 of their papers we have counts for

collaborators
Showing cs.LGShow all

1 paper · 1 filter

cs.LG2024

Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling

Feiyang Cai, Chuchu Fan, Stanley Bak

Verifying safety of neural network control systems that use images as input is a difficult problem because, from a given system state, there is no known way to mathematically model…