Early-Stage Product Line Validation Using LLMs: A Study on Semi-Formal Blueprint Analysis
LLM evaluation on feature model analysis using semi-formal blueprints shows reasoning-optimized models (Grok 4, Gemini 2.5 Pro) achieve 88-89% accuracy vs solver oracles.