Back to T3 Chat
← Back to all posts

Model Request: DeepSeek-Prover-V2

This seems to be a very good state-of-the-art theorem proving model. I would love to have it here.

Please authenticate to join the conversation.

Upvoters
Status

Gathering Interest

Board
💡

Feature Request

Subscribe to post

Get notified by email when there are changes.