Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Veronika Thost

Software Vulnerability Detection via Deep Learning over Disaggregated Code Graph Representation


Sep 07, 2021
Yufan Zhuang, Sahil Suneja, Veronika Thost, Giacomo Domeniconi, Alessandro Morari, Jim Laredo

* Submitted June 2020 

  Access Paper or Ask Questions

Improving Inductive Link Prediction Using Hyper-Relational Facts


Jul 10, 2021
Mehdi Ali, Max Berrendorf, Mikhail Galkin, Veronika Thost, Tengfei Ma, Volker Tresp, Jens Lehmann


  Access Paper or Ask Questions

Relation Matters in Sampling: A Scalable Multi-Relational Graph Neural Network for Drug-Drug Interaction Prediction


May 28, 2021
Arthur Feeney, Rishabh Gupta, Veronika Thost, Rico Angell, Gayathri Chandu, Yash Adhikari, Tengfei Ma


  Access Paper or Ask Questions

Project CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks


May 25, 2021
Ruchir Puri, David S. Kung, Geert Janssen, Wei Zhang, Giacomo Domeniconi, Vladmir Zolotov, Julian Dolby, Jie Chen, Mihir Choudhury, Lindsey Decker, Veronika Thost, Luca Buratti, Saurabh Pujar, Ulrich Finkler

* 11 Pages including references, 10 pages of appendix 

  Access Paper or Ask Questions

Directed Acyclic Graph Neural Networks


Feb 02, 2021
Veronika Thost, Jie Chen

* ICLR 2021. Code is available at https://github.com/vthost/DAGNN 

  Access Paper or Ask Questions

Exploring Software Naturalness through Neural Language Models


Jun 24, 2020
Luca Buratti, Saurabh Pujar, Mihaela Bornea, Scott McCarley, Yunhui Zheng, Gaetano Rossiello, Alessandro Morari, Jim Laredo, Veronika Thost, Yufan Zhuang, Giacomo Domeniconi


  Access Paper or Ask Questions

Exploring Software Naturalness throughNeural Language Models


Jun 22, 2020
Luca Buratti, Saurabh Pujar, Mihaela Bornea, Scott McCarley, Yunhui Zheng, Gaetano Rossiello, Alessandro Morari, Jim Laredo, Veronika Thost, Yufan Zhuang, Giacomo Domeniconi


  Access Paper or Ask Questions

An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic


Feb 02, 2020
Ibrahim Abdelaziz, Veronika Thost, Maxwell Crouse, Achille Fokoue

* 7 pages 

  Access Paper or Ask Questions

Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks


Nov 22, 2019
Pavan Kapanipathi, Veronika Thost, Siva Sankalp Patel, Spencer Whitehead, Ibrahim Abdelaziz, Avinash Balakrishnan, Maria Chang, Kshitij Fadnis, Chulaka Gunasekara, Bassem Makni, Nicholas Mattei, Kartik Talamadupula, Achille Fokoue


  Access Paper or Ask Questions

Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling


Nov 15, 2019
Maxwell Crouse, Ibrahim Abdelaziz, Cristina Cornelio, Veronika Thost, Lingfei Wu, Kenneth Forbus, Achille Fokoue


  Access Paper or Ask Questions

A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies


Nov 05, 2019
Maxwell Crouse, Spencer Whitehead, Ibrahim Abdelaziz, Bassem Makni, Cristina Cornelio, Pavan Kapanipathi, Edwin Pell, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue


  Access Paper or Ask Questions

RuDaS: Synthetic Datasets for Rule Learning and Evaluation Tools


Sep 16, 2019
Cristina Cornelio, Veronika Thost


  Access Paper or Ask Questions