Michael Feldman
mfeldman143
AI & ML interests
None yet
Recent Activity
liked a model about 12 hours ago
meituan-longcat/LongCat-Flash-Prover upvoted a paper about 12 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
