2 papers
cs.SE2026
PoC-Gym: Towards More Reliable LLM-Assisted Proof-of-Concept Exploit Generation
Derin Gezgin, Amartya Das, Shinhae Kim +3
Recently Large Language Models (LLMs) have been used in security-related tasks, including generating proof-of-concept (PoC) exploits. Several LLM-assisted approaches have been prop…
cs.SE2026
Testing Deep Learning Libraries via Neurosymbolic Constraint Learning
M M Abid Naziri, Shinhae Kim, Feiran Qin +2
Deep Learning (DL) libraries (e.g., PyTorch) are popular in AI development. These libraries are complex and contain bugs. Researchers have proposed various bug-finding techniques f…