1. Oxford Analytica . 2021. Poly Network attack underlines growing DeFi risks. Emerald Expert Briefingsoxan-es ( 2021 ). Oxford Analytica. 2021. Poly Network attack underlines growing DeFi risks. Emerald Expert Briefingsoxan-es (2021).
2. A survey of robot learning from demonstration
3. Johannes Bader , Andrew Scott , Michael Pradel , and Satish Chandra . 2019 . Getafix: Learning to Fix Bugs Automatically . Proc. ACM Program. Lang. 3, OOPSLA, Article 159 (oct 2019), 27 pages. https://doi.org/10.1145/3360585 10.1145/3360585 Johannes Bader, Andrew Scott, Michael Pradel, and Satish Chandra. 2019. Getafix: Learning to Fix Bugs Automatically. Proc. ACM Program. Lang. 3, OOPSLA, Article 159 (oct 2019), 27 pages. https://doi.org/10.1145/3360585
4. Dzmitry Bahdanau , Kyunghyun Cho , and Yoshua Bengio . 2015 . Neural Machine Translation by Jointly Learning to Align and Translate . In 3rd International Conference on Learning Representations, ICLR 2015, San Diego, CA, USA, May 7-9, 2015, Conference Track Proceedings, Yoshua Bengio and Yann LeCun (Eds.). http://arxiv.org/abs/1409 .0473 Dzmitry Bahdanau, Kyunghyun Cho, and Yoshua Bengio. 2015. Neural Machine Translation by Jointly Learning to Align and Translate. In 3rd International Conference on Learning Representations, ICLR 2015, San Diego, CA, USA, May 7-9, 2015, Conference Track Proceedings, Yoshua Bengio and Yann LeCun (Eds.). http://arxiv.org/abs/1409.0473
5. Karthikeyan Bhargavan , Antoine Delignat-Lavaud , Cédric Fournet , Anitha Gollamudi , Georges Gonthier , Nadim Kobeissi , Natalia Kulatova , Aseem Rastogi , Thomas Sibut-Pinote , Nikhil Swamy , and Santiago Zanella Béguelin . 2016 . Formal Verification of Smart Contracts: Short Paper . In Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016 , Vienna, Austria , October 24, 2016, Toby C. Murray and Deian Stefan (Eds.). ACM, 91–96. https://doi.org/10.1145/2993600.2993611 10.1145/2993600.2993611 Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, and Santiago Zanella Béguelin. 2016. Formal Verification of Smart Contracts: Short Paper. In Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, Toby C. Murray and Deian Stefan (Eds.). ACM, 91–96. https://doi.org/10.1145/2993600.2993611