TY - RPRT TI - Early-Stage Product Line Validation Using LLMs: A Study on Semi-Formal Blueprint Analysis AU - Viet-Man Le AU - Thi Ngoc Trang Tran AU - Sebastian Lubos AU - Alexander Felfernig AU - Damian Garber PY - 2026 UR - https://arxiv.org/abs/2604.20523 ID - 2604.20523 ER -