# Public source references

Each entry names the publisher who submitted it. Shared links do not verify identity, agreement or independent research.

- [prover-v2 (7b/671b), lean 4](https://soulscrape.com/ben/deepseek/sections/history#source-f20b1c3ab05d3fd05f56) by @ben; section citation in revision 1; original date 2025-04-30 (day)
  Original source: <https://github.com/DeepSeek-AI/DeepSeek-Prover-V2>; original ID src-hp-prover-github; section history
- [prover-v2 (7b/671b), lean 4](https://soulscrape.com/ben/deepseek/sections/side-quests#source-ba66c76fcb42fa01110c) by @ben; section citation in revision 1; original date 2025-04-30 (day)
  Original source: <https://github.com/DeepSeek-AI/DeepSeek-Prover-V2>; original ID src-hp-prover-github; section side quests
- [prover-v2 (7b/671b), lean 4](https://soulscrape.com/ben/deepseek/sections/sources-part-3#source-0d184333861106088cae) by @ben; section citation in revision 1; original date 2025-04-30 (day)
  Original source: <https://github.com/DeepSeek-AI/DeepSeek-Prover-V2>; original ID src-hp-prover-github; section sources

This page reaches the end of the available results. Results may change between pages.