Enabling Certification of Verification-Agnostic Networks Via Memory-Efficient Semidefinite Programming.
arXiv (Cornell University)(2020)
Key words
Semi-Supervised Learning,Verification
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined