3 papers
cs.SE2025
Automatic Syntax Error Repair for Discrete Controller Synthesis using Large Language Model
Yusei Ishimizu, Takuto Yamauchi, Sinan Chen +3
Discrete Controller Synthesis (DCS) is a powerful formal method for automatically generating specifications of discrete event systems. However, its practical adoption is often hind…
cs.SI2025
Simulation of Language Evolution under Regulated Social Media Platforms: A Synergistic Approach of Large Language Models and Genetic Algorithms
Jinyu Cai, Yusei Ishimizu, Mingyue Zhang +3
Social media platforms frequently impose restrictive policies to moderate user content, prompting the emergence of creative evasion language strategies. This paper presents a multi…
cs.CL2024
Automatic Adaptation Rule Optimization via Large Language Models
Yusei Ishimizu, Jialong Li, Jinglue Xu +3
Rule-based adaptation is a foundational approach to self-adaptation, characterized by its human readability and rapid response. However, building high-performance and robust adapta…