54 citations · 134 across the 7 of their papers we have counts for
5 papers · 1 filter
Software Vulnerability Detection via Deep Learning over Disaggregated Code Graph Representation
Yufan Zhuang, Sahil Suneja, Veronika Thost +3
Identifying vulnerable code is a precautionary measure to counter software security breaches. Tedious expert effort has been spent to build static analyzers, yet insecure patterns…
An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic
Ibrahim Abdelaziz, Veronika Thost, Maxwell Crouse +1
Automated theorem proving in first-order logic is an active research area which is successfully supported by machine learning. While there have been various proposals for encoding…
Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling
Maxwell Crouse, Ibrahim Abdelaziz, Cristina Cornelio +4
Recent advances in the integration of deep learning with automated theorem proving have centered around the representation of logical formulae as inputs to deep learning systems. I…
A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving
Maxwell Crouse, Ibrahim Abdelaziz, Bassem Makni +7
Automated theorem provers have traditionally relied on manually tuned heuristics to guide how they perform proof search. Deep reinforcement learning has been proposed as a way to o…
RuDaS: Synthetic Datasets for Rule Learning and Evaluation Tools
Cristina Cornelio, Veronika Thost
Logical rules are a popular knowledge representation language in many domains, representing background knowledge and encoding information that can be derived from given facts in a…