B4 山本さんの論文がCIKM 2026のShort Paper Trackで採択されました。 Verification-Guided Specification Synthesis with Large Language Models for Intrusion Detection Rules Kohei Yamamoto and Marie Katsurai 採択率：30.2%
