@MfkChr If it's LLMs crafting the parameters of the verification tests then their stochasticity bleeds in. If not then it's pretty naive permissioning.
Am I missing something? I've been hearing we need neurosymbolic in critical industries for years but nothing has come out of it yet
@MfkChr Makes sense. I was looking at the space back in late 2023 and it seemed obvious that synthetic data would only be useful for distillation into smaller models