Yi Li's picture

1 1

Yi Li

uv0xab

AI & ML interests

Software Formal Verification

Recent Activity

liked a model 3 days ago

cognitivecomputations/DeepSeek-R1-AWQ

new activity 3 days ago

cognitivecomputations/DeepSeek-R1-AWQ:requests get stuck when sending long prompts (already solved, but still don't know why?)

View all activity

Organizations

None yet

uv0xab's activity

liked a model 3 days ago

cognitivecomputations/DeepSeek-R1-AWQ

Text Generation • Updated 8 days ago • 28.1k • 51