Discussions

• 1 You must be logged in to vote

  💬

  Hajs

  sz0fer started Feb 3, 2025 in General · Closed

  

  

  2
• 2 You must be logged in to vote

  💬

  Shefa E Intejar

  shefa66 started Feb 3, 2025 in General

  

  

  0
• 1 You must be logged in to vote

  🙏

  experiment details

  richardxd asked Jan 29, 2025 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  Has deepseek-prover-v1's synthetic data been validated?

  yuchen814 asked Nov 29, 2024 in Q&A · Unanswered

  

  

  0
• 2 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
• 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 · Answered

  

  

  1
• 4 You must be logged in to vote

  📣

  Welcome to DeepSeek-Prover-V1.5 Discussions!

  soloice announced Aug 16, 2024 in Announcements

  

  

  0