Jake Uribe
jakeuribe
·
AI & ML interests
Semantic Search, QNLP
Recent Activity
upvoted a collection 12 days ago
Proof Assistant Projects liked a Space 23 days ago
delta-lab-ai/lean-refactor-arena liked a model 23 days ago
mradermacher/Kimina-Prover-RL-0.6B-GGUFOrganizations
None yet