rustem17/oated-materials
Updated
Rustem Turtayev
rustem17
ยท
AI & ML interests
None yet
Recent Activity
liked
a model
3 days ago
sesame/csm-1b
updated
a model
16 days ago
rustem17/oated-materials
upvoted
a
paper
17 days ago
BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic
Theorem Proving
Organizations
None yet
models
1
datasets
None public yet