Our paper Anvil: LLM-Powered Synthesis, Validation, and Repair of Alloy Specifications was accepted by MODELS’26!