What AI Says About Proof Strategies | Parse