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