Rem Yang

According to our database, Rem Yang authored at least 5 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Provable Defense Against Geometric Transformations.

Rem Yang, Jacob Laurel, Sasa Misailovic, Gagandeep Singh

Proceedings of the Eleventh International Conference on Learning Representations, 2023

2022

A general construction for abstract interpretation of higher-order automatic differentiation.

Jacob Laurel, Rem Yang, Shubham Ugare, Robert Nagel, Gagandeep Singh, Sasa Misailovic

Proc. ACM Program. Lang., 2022

A dual number abstraction for static analysis of Clarke Jacobians.

Jacob Laurel, Rem Yang, Gagandeep Singh, Sasa Misailovic

Proc. ACM Program. Lang., 2022

Training Certifiably Robust Neural Networks Against Semantic Perturbations.

Rem Yang, Jacob Laurel, Sasa Misailovic, Gagandeep Singh

CoRR, 2022

2021

Statheros: Compiler for Efficient Low-Precision Probabilistic Programming.

Jacob Laurel, Rem Yang, Atharva Sehgal, Shubham Ugare, Sasa Misailovic

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021