This is an implementation of the equivalence checker presented in "Semantic Program Alignment for Equivlance Checking" by Berkeley Churchill, Oded Padon, Rahul Sharma and Alex Aiken, presented at PLDI ...

Humans can recognize biological movements, such as walking, accurately and robustly. This review uses a neurophysiologically plausible and quantitative model as a tool for organizing and making sense ...

Programmable metasurfaces can be used to generate holograms for imaging and sensing applications. However, creating high-capacity dynamic holograms that are programmable and have high refresh rates ...

A complete list of papers about adversarial examples It appears that the List of All Adversarial Example Papers has been experiencing crashes over the past few days. In the absence of this valuable ...