Timothy Mann

1 paper in the IJCAI proceedings

IJCAI 2019

A Dual Approach to Verify and Train Deep Networks

with Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Pushmeet Kohli

doi:10.24963/ijcai.2019/854

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings