From the 1 of 7 linked papers with an AI index.
7 papers
PatchIsland: Orchestration of LLM Agents for Continuous Vulnerability Repair
Wonyoung Kim, Seunggi Min, Minjae Gwon +11
PatchIsland is a system that coordinates multiple LLM agents to automatically generate patches for vulnerabilities discovered by continuous fuzzing pipelines, using a two‑phase ded…
Towards Functional Correctness of Large Code Models with Selective Generation
Jaewoo Jeong, Taesoo Kim, Sangdon Park
The hallucination of code generation models hinders their applicability to systems requiring higher safety standards. One critical bottleneck in addressing code hallucination is th…
Can We Stop Malicious AI? KILLBENCH: A Benchmark for External AI Kill Switch Feasibility
Sechan Lee, Hyounghun Kim, Sangdon Park
Malicious AI causing harm to humans is not just a Hollywood fantasy. Indeed, as highly capable models such as Claude Mythos emerge and agent systems like OpenClaw rapidly spread, t…
Aligning Large Language Models with Procedural Rules: An Autoregressive State-Tracking Prompting for In-Game Trading
Minkyung Kim, Junsik Kim, Woongcheol Yang +2
Large Language Models (LLMs) enable dynamic game interactions but fail to follow essential procedural flows in rule-governed trading systems, eroding player trust. This work resolv…
ATLANTIS: AI-driven Threat Localization, Analysis, and Triage Intelligence System
Taesoo Kim, HyungSeok Han, Soyeon Park +43
We present ATLANTIS, the cyber reasoning system developed by Team Atlanta that won 1st place in the Final Competition of DARPA's AI Cyber Challenge (AIxCC) at DEF CON 33 (August 20…
State-Inference-Based Prompting for Natural Language Trading with Game NPCs
Minkyung Kim, Junsik Kim, Hwidong Bae +3
Large Language Models enable dynamic game interactions but struggle with rule-governed trading systems. Current implementations suffer from rule violations, such as item hallucinat…