7 citations · 12 across the 2 of their papers we have counts for
2 papers
cs.LG2023★ 7 cited
Semantic-Based Neural Network Repair
Richard Schumi, Jun Sun
Recently, neural networks have spread into numerous fields including many safety-critical systems. Neural networks are built (and trained) by programming in frameworks such as Tens…
cs.AI2022★ 5 cited
ExAIS: Executable AI Semantics
Richard Schumi, Jun Sun
Neural networks can be regarded as a new programming paradigm, i.e., instead of building ever-more complex programs through (often informal) logical reasoning in the programmers' m…