Structured Control Nets for Deep Reinforcement Learning. - Mario Srouji; Jian Zhang 050; Ruslan Salakhutdinov (ICML, 2018)

Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper. - Florian Lonsing; Karthik Ganesan 001; Makai Mann; Srinivasa Shashank Nuthakki; Eshan Singh; Mario Srouji; Yahan Yang; Subhasish Mitra; Clark W. Barrett (ICCAD, 2019)

Recurrent Control Nets for Deep Reinforcement Learning. - Vincent Liu; Ademi Adeniji; Nathaniel Lee; Jason Zhao; Mario Srouji (CoRR, 2019)

Approximate Graph Spectral Decomposition with the Variational Quantum Eigensolver. - Josh Payne; Mario Srouji (CoRR, 2019)

BERT Learns (and Teaches) Chemistry. - Josh Payne; Mario Srouji; Dian Ang Yap; Vineet Kosaraju (CoRR, 2020)

Safe Real-World Reinforcement Learning for Mobile Agent Obstacle Avoidance. - Mario Srouji; Wei Ding; Yao-Hung Hubert Tsai; Ali Farhadi; Jian Zhang 050 (CoRR, 2022)

SAFER: Safe Collision Avoidance Using Focused and Efficient Trajectory Search with Reinforcement Learning. - Mario Srouji; Hugues Thomas; Yao-Hung Hubert Tsai; Ali Farhadi; Jian Zhang 050 (CASE, 2023)

Human Following in Mobile Platforms with Person Re-Identification. - Mario Srouji; Yao-Hung Hubert Tsai; Hugues Thomas; Jian Zhang 050 (CoRR, 2023)

ARMOR: Egocentric Perception for Humanoid Robot Collision Avoidance and Motion Planning. - Daehwa Kim; Mario Srouji; Chen Chen 032; Jian Zhang 050 (CoRR, 2024)