deepseek-ai DeepSeek-Prover-V1.5 Q A · Discussions · GitHub

Welcome to DeepSeek-Prover-V1.5 Discussions!
Announcements soloice

Sort by: Latest activity

Categories

Community guidelines

Q&A Discussions

Ask the community for help

You must be logged in to vote

Could anyone tell me : Does the quick_start.py use tree search?

AeonianQuill asked Oct 5, 2024 in Q&A · Unanswered

3
You must be logged in to vote

What Lean code is generating the AST for the parser module?

zaporter asked Sep 18, 2024 in Q&A · Unanswered

1