“The company founded by the speaker that focuses on property-based testing and 'hazing' for LLMs.”

“Creators of the Verdict framework for judge-time scaling.”