Paul Gramma
Paulgramma
ยท
AI & ML interests
Diffussions!
Recent Activity
upvoted
an
article
about 2 months ago
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
liked
a dataset
9 months ago
fka/awesome-chatgpt-prompts
Organizations
None yet