@misc{indiciae8c8f00f32045, title = {Verified LLM-Driven Synthesis for Concept Design}, author = {Alcino Cunha}, year = {2026}, url = {https://arxiv.org/abs/2607.15718}, note = {Source identifier: 2607.15718} }