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