Abstract: Generative AI enables agent-based smart manufacturing to achieve flexible and reactive decision-making with pre-trained models. However, AI agents remain weak in plan verification and are ...