A marriage of formal methods and LLMs seeks to harness the strengths of both.
Cortex Code is designed to give a productivity boost to data management and operations, according to Snowflake EVP of product Christian Kleinerman.