Michael Feldman
mfeldman143
AI & ML interests
None yet
Recent Activity
liked a model about 10 hours ago
meituan-longcat/LongCat-Flash-Prover upvoted a paper about 10 hours ago
LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning liked a model about 17 hours ago
intfloat/e5-mistral-7b-instructOrganizations
