deepseek-ai/DeepSeek-Prover-V1.5
1
0
Fork 0
mirror of https://github.com/deepseek-ai/DeepSeek-Prover-V1.5.git synced 2026-11-05 00:57:20 +00:00
Code Issues 12 Projects Packages Wiki Activity

[GH-ISSUE #20] When I run provers.launch.py, there are lots of token error log info #11

New issue
Closed
opened 2026-10-26 21:06:34 +00:00 by bsakaguchi · 0 comments
bsakaguchi commented 2026-10-26 21:06:34 +00:00
Owner
Copy link

Originally created by @sicheng-tan on GitHub (Apr 10, 2025).
Original GitHub issue: https://github.com/deepseek-ai/DeepSeek-Prover-V1.5/issues/20

Special tokens have been added in the vocabulary, make sure the associated word embeddings are fine-tuned or trained

pictures：

Image

Will it affect the results?

Originally created by @sicheng-tan on GitHub (Apr 10, 2025). Original GitHub issue: https://github.com/deepseek-ai/DeepSeek-Prover-V1.5/issues/20 `Special tokens have been added in the vocabulary, make sure the associated word embeddings are fine-tuned or trained` pictures： ![Image](https://github.com/user-attachments/assets/82b7179d-863c-4683-aa8e-d4f4ccadca47) Will it affect the results?
Sign in to join this conversation.
No Branch/Tag specified
Branches Tags
main
No results found.
Labels
Clear labels   
pull-request
Mirrored from GitHub Pull Request

No labels
pull-request
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
deepseek-ai/DeepSeek-Prover-V1.5#11
No description provided.