hmmm... check the deepseek-r1 repo readme :) They compare them there, but it would be nice to have external benchmarks.