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