Author

Paulo Shakarian

h-index 3 View on Semantic Scholar

We have 2 of 21 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming

EntailLLM is presented, which validates each LLM-proposed analyst path by entailment: the path is a traversal of the binary's function call graph, the domain knowledge is represented in a separate graph, and verification aligns the two under temporal annotated logic.

Kaustuv Mukherji, J. Patil, C. Payne et al. · 0 citations

Preprint Aug 2026

Adversarially Robust Abductive Fusion of Pre-trained Transformer-based Perception Models

This work frames the fusion of multiple imperfect ViT-based detectors as a consistency-based abduction problem solved at test time by an exact Integer Program (IP) and a polynomial-time heuristic and shows that this metacognitive layer can be learned without any domain knowledge by exploiting vector-space geometry.

Mario A. Leiva, Yue Ma, Qinru Qiu et al. · 0 citations