Model techniques map
Techniques

specific method · not yet filed

self-verification

source
1
models
2
labs adopt it
0
strongest
evaluated

How sources treat it

One count per evidence span, weakest treatment to strongest.

evaluated 1

Documented in

Evidence

1 span quoted from the sources, strongest treatment first.

candidate natural-language solutions are first generated and filtered by self-verification[shao2025deepseekmathv2selfverifiablemathematicalreasoning]

evaluatedevaluation onlyin DeepSeek-V4DeepSeek