Searching protocol for "counterexample analysis"
Decode Ivy verification failures.
Debug proof failures with counterexamples.
Debug failures by explaining counterexamples.
Fix code violations with AI guidance.
Fix code bugs with TLA+ insights
Turn model violations into code fixes.
Define concepts with precision.
Solve predicate logic problems.
Verify RTL design equivalence
Socratic sparring for deep strategic thinking