Abhinav Verma
发表
Abhinav Verma,
Swarat Chaudhuri,
Pushmeet Kohli,
2018,
ICML.
Jennifer J. Sun,
Yisong Yue,
Swarat Chaudhuri,
2020,
NeurIPS.
Swarat Chaudhuri,
Greg Anderson,
Işil Dillig,
2020,
NeurIPS.
Swarat Chaudhuri,
Joel W. Burdick,
Yisong Yue,
2019,
ICML.
Hoang Minh Le,
Yisong Yue,
Swarat Chaudhuri,
2019,
NeurIPS.
Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks
pdf
Abhinav Verma,
Swarat Chaudhuri,
Richard G. Baraniuk,
2019,
ICLR.
Ankit B. Patel,
Joshua J. Michalenko,
Richard Baraniuk,
2019,
ICLR.
Yisong Yue,
Cameron Voloshin,
Abhinav Verma,
2023,
ICML.
Swarat Chaudhuri,
S. Seshia,
Cameron Voloshin,
2024,
2404.11578.