Work

BERN-NN-IBF: Enhancing Neural Network Bound Propagation Through Implicit Bernstein Form and Optimized Tensor Operations

Year: 2024

Type: article

Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

DOI: 10.1109/tcad.2024.3447577

Authors: Wael Fatnassi, Arthur Feeney, Valen Yamamoto, Aparna Chandramowlishwaran, Yasser Shoukry

Institution: University of California, Irvine

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Science Foundation

Awards: Collaborative Research: CPS: Medium: ASTrA: Automated Synthesis for Trustworthy Autonomous Utility Services, CAREER: Decision Procedures for High-Assurance, AI-Controlled, Cyber-Physical Systems

OpenAlex ID: W4404101327

FWCI:

Cites: 31

Cited by:

Related to: 10