Old Web
English
Sign In
Acemap
>
Paper
>
Artifact for PLDI'21 paper #156 "Fast and Precise Certification of Transformers"
Artifact for PLDI'21 paper #156 "Fast and Precise Certification of Transformers"
2021
Gregory Bonaert
Dimitar I. Dimitrov
Maximilian Baader
Martin Vechev
Keywords:
Transformer
artifact
Computer science
Certification
Reliability engineering
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]