I'm a researcher interested in formal verification. Which t… — AI recommendations and brand rankings | Parse