R Schumi,
J Sun - Proceedings of the 32nd ACM SIGSOFT International …, 2023 - dl.acm.org
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 …