Matthew Sotoudeh
发表
Matthew Sotoudeh,
Aditya V. Thakur,
Matthew Sotoudeh,
2020,
Onward!.
Matthew Sotoudeh,
Aditya V. Thakur,
2019,
NeurIPS.
Jason Knight,
Alexander Heinecke,
Michael J. Anderson,
2018,
CF.
Matthew Sotoudeh,
Aditya V. Thakur,
Matthew Sotoudeh,
2021,
International Journal on Software Tools for Technology Transfer.
Matthew Sotoudeh,
Aditya V. Thakur,
Matthew Sotoudeh,
2020,
SAS.
Matthew Sotoudeh,
Sara S. Baghsorkhi,
2019,
2019 56th ACM/IEEE Design Automation Conference (DAC).
Matthew Sotoudeh,
Sara S. Baghsorkhi,
2018,
ArXiv.
Matthew Sotoudeh,
Sara S. Baghsorkhi,
2019,
DAC.
A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks
pdf
Matthew Sotoudeh,
Aditya V. Thakur,
2019,
ArXiv.
Matthew Sotoudeh,
Aditya V. Thakur,
2021,
Artifact Digital Object Group.
Matthew Sotoudeh,
Aditya V. Thakur,
Matthew Sotoudeh,
2021,
PLDI.