Carlos Fernández
subscribed-guy
·
AI & ML interests
None yet
Recent Activity
liked a dataset 4 days ago
openai/gsm8k liked a dataset 8 days ago
zhoujieluna2/hermes-data upvoted a paper 9 days ago
TheoremGraph: Bridging Formal and Informal MathematicsOrganizations
None yet