Dominik Farr
dffarr
AI & ML interests
None yet
Recent Activity
new activity
about 2 months ago
deepseek-ai/DeepSeek-Prover-V1:Dataset smaller than paper suggests
Organizations
None yet
models
0
None public yet
datasets
0
None public yet