Aryan Mahajan

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Publications

Prithwish Jana, Piyush Jha, Haoyang Ju, Gautham Kishore, Aryan Mahajan, Vijay Ganesh
Attention, Compilation, and Solver-based Symbolic Analysis are All You Need. CoRR (2023)