Alternatives to DeepSeek-Prover-V1.5

Options that appear in the same research papers as DeepSeek-Prover-V1.5, by co-occurrence.

AlternativePapers (with DeepSeek-Prover-V1.5)Avg viability
Reinforcement Learning1