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