CTO here, using BAML in our stack has let us use LLMs a LOT more in places that wouldn't make sense without the type-safety. We started using it for line item tag prediction and classification, false-positive checking on our fuzzy match algo, and forecasting. Especially with models like 4o-mini and Gemini Flash, its now actually cost effective to do this at scale.