AttackPathGNN introduces a State Interference Graph and conjunction pooling inside a GNN to detect cross-function vulnerabilities in Solidity contracts, reporting 92.3% F1 on SmartBugs Wild.
In: Proceedings of the 26th International Joint Conference on Artificial Intelligence , AAAI Press, pp
3 Pith papers cite this work, alongside 30 external citations. Polarity classification is still indexing.
3
Pith papers citing it
30
external citations · Crossref
representative citing papers
LLM-scored offer predicates aggregated by a Logic Tensor Network classify procurement documents about as accurately as BERT or LLM baselines while exposing auditable predicate and rule truth values.
NeurASP extends answer set programming with neural network outputs as probability distributions over atomic facts, improving perception accuracy and enabling logic-guided training.
citing papers explorer
-
From Large Language Model Predicates to Logic Tensor Networks: Neurosymbolic Offer Validation in Regulated Procurement
LLM-scored offer predicates aggregated by a Logic Tensor Network classify procurement documents about as accurately as BERT or LLM baselines while exposing auditable predicate and rule truth values.
-
Extending Answer Set Programs with Neural Networks
NeurASP extends answer set programming with neural network outputs as probability distributions over atomic facts, improving perception accuracy and enabling logic-guided training.