Processing your request

This may take a moment. We're preparing the latest results.

Anthropic: Claude 3.7 Sonnet (thinking) on Formal Logic Extended - Stratix