activity
20242026
most citedModern Computing: Vision and Challenges

178 citations · 208 across the 13 of their papers we have counts for

collaborators

13 papers

cs.CR2026

Ranked by the Matcher: A Reproducibility Audit of Knowledge Graph Extraction from Threat Reports

Safayat Bin Hakim, Houbing Herbert Song

Security teams and researchers choose knowledge-graph extraction tooling for threat reports on the strength of published triple-F1 scores, yet those scores depend on how predicted…

cs.AI2026

ANNEAL: Adapting LLM Agents via Governed Symbolic Patch Learning

Safayat Bin Hakim, Keyan Guo, Wenkai Tan +3

LLM-based agents can recover from individual execution errors, yet they repeatedly fail on the same fault when the underlying process knowledge--operator schemas, preconditions, an…

cs.CR2026

CyberCane: a privacy-bounded neuro-symbolic retrieval framework for phishing detection under distribution shift

Safayat Bin Hakim, Aniqa Afzal, Qi Zhao +3

Organizations usually calibrate phishing detectors on public corpora, because privacy rules make their own labeled legitimate mail hard to collect. This practice breaks the false-p…

cs.LG2025★ 1 cited

Leveraging Vulnerabilities in Temporal Graph Neural Networks via Strategic High-Impact Assaults

Dong Hyun Jeon, Lijing Zhu, Haifang Li +6

Temporal Graph Neural Networks (TGNNs) have become indispensable for analyzing dynamic graphs in critical applications such as social networks, communication systems, and financial…

cs.CR2025

Neuro-Symbolic AI for Cybersecurity: State of the Art, Challenges, and Opportunities

Safayat Bin Hakim, Muhammad Adil, Alvaro Velasquez +2

Cybersecurity demands both rapid pattern recognition and deliberative reasoning, yet purely neural or purely symbolic approaches each address only one side of this duality. Neuro-S…

cs.LG2025

DEM-NeRF: A Neuro-Symbolic Method for Scientific Discovery through Physics-Informed Simulation

Wenkai Tan, Alvaro Velasquez, Houbing Song

Neural networks have emerged as a powerful tool for modeling physical systems, offering the ability to learn complex representations from limited data while integrating foundationa…

cs.AI2025★ 1 cited

SymRAG: Efficient Neuro-Symbolic Retrieval Through Adaptive Query Routing

Safayat Bin Hakim, Muhammad Adil, Alvaro Velasquez +1

Current Retrieval-Augmented Generation systems use uniform processing, causing inefficiency as simple queries consume resources similar to complex multi-hop tasks. We present SymRA…

cs.CR2025

xIDS-EnsembleGuard: An Explainable Ensemble Learning-based Intrusion Detection System

Muhammad Adil, Mian Ahmad Jan, Safayat Bin Hakim +2

In this paper, we focus on addressing the challenges of detecting malicious attacks in networks by designing an advanced Explainable Intrusion Detection System (xIDS). The existing…

cs.LG2025

KGIF: Optimizing Relation-Aware Recommendations with Knowledge Graph Information Fusion

Dong Hyun Jeon, Wenbo Sun, Houbing Herbert Song +4

While deep-learning-enabled recommender systems demonstrate strong performance benchmarks, many struggle to adapt effectively in real-world environments due to limited use of user-…

cs.AI2025

ANSR-DT: A Neuro-Symbolic Framework for Adaptive and Explainable Digital Twins

Safayat Bin Hakim, Muhammad Adil, Alvaro Velasquez +1

Digital twins are increasingly used to monitor and optimize industrial systems, yet many existing frameworks remain difficult to interpret, slow to adapt, and limited in their abil…

cs.CR2024★ 3 cited

Decoding Android Malware with a Fraction of Features: An Attention-Enhanced MLP-SVM Approach

Safayat Bin Hakim, Muhammad Adil, Kamal Acharya +1

The escalating sophistication of Android malware poses significant challenges to traditional detection methods, necessitating innovative approaches that can efficiently identify an…

cs.AI2024★ 25 cited

A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence

Justus Renkhoff, Ke Feng, Marc Meier-Doernberg +2

Neurosymbolic artificial intelligence (AI) is an emerging branch of AI that combines the strengths of symbolic AI and sub-symbolic AI. A major drawback of sub-symbolic AI is that i…

cs.DC2024★ 178 cited

Modern Computing: Vision and Challenges

Sukhpal Singh Gill, Huaming Wu, Panos Patros +22

Over the past six decades, the computing systems field has experienced significant transformations, profoundly impacting society with transformational developments, such as the Int…