Vikram Nitin

NHP: Neural Hypergraph Link Prediction

2020

Link prediction insimple graphs is a fundamental problem in which new links between vertices are predicted based on the observed structure of the graph. However, in many real-world applications, there is a need to model …

FaultLine: Automated Proof-of-Vulnerability Generation Using LLM Agents

2025 · arXiv (Cornell University)

Despite the critical threat posed by software security vulnerabilities, reports are often incomplete, lacking the proof-of-vulnerability (PoV) tests needed to validate fixes and prevent regressions. These tests are crucial not only for ensuring patches work, …