mirror of
https://github.com/deepseek-ai/DeepSeek-Prover-V1.5.git
synced 2026-11-05 00:57:20 +00:00
[GH-ISSUE #2] Request for Release of Enhanced Theorem-Proving Dataset #3
Labels
No labels
pull-request
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
deepseek-ai/DeepSeek-Prover-V1.5#3
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @PrithwishJana on GitHub (Aug 21, 2024).
Original GitHub issue: https://github.com/deepseek-ai/DeepSeek-Prover-V1.5/issues/2
Hi,
The paper looks impressive! Is there a plan to release the training dataset? I noticed that you used an enhanced theorem-proving dataset with 9,645k sequences, derived from DeepSeek-Prover-V1. Will the new dataset, including the natural language descriptions and intermediate tactic state information, be made available?
Additionally, I would greatly appreciate it if you could share the smaller dataset of 4.5k carefully selected instances used for reinforcement learning.
@fzyzcjy commented on GitHub (Aug 28, 2024):
+1 Thanks deepseek for the great work, I would appreciate it if the dataset could be open sourced!
@aldopareja commented on GitHub (Oct 14, 2024):
would also love seeing this or a way of synthetically generate the data. Thank you! and great work indeed.
@radna0 commented on GitHub (Feb 27, 2025):
Update?