Hugging Face's logo
sahrma's picture
1

sahrma

jatsalkes
ยท

AI & ML interests

None yet

Recent Activity

upvoted an article about 1 month ago
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
published a model about 1 month ago
jatsalkes/dasd
View all activity

Organizations

None yet