default author photo

Rui Qin

affiliation not provided to SSRN

SCHOLARLY PAPERS

1

DOWNLOADS

3

TOTAL CITATIONS

0

Scholarly Papers (1)

1.

Homomorphic-Nonhomomorphic Decomposition: A Verification-Friendly Transformer Architecture

Number of pages: 40 Posted: 15 Jun 2026
affiliation not provided to SSRN, affiliation not provided to SSRN, affiliation not provided to SSRN, affiliation not provided to SSRN, affiliation not provided to SSRN and Chinese Academy of Sciences - Institute of Automation
Downloads 3

Abstract:

Loading...

Verifiable Inference, Transformer Architecture, Modular Verification, Neural Network Verification, trustworthy AI