Yi Li's picture

1 1

Yi Li

uv0xab

AI & ML interests

Software Formal Verification

Recent Activity

liked a model 2 days ago

cognitivecomputations/DeepSeek-R1-AWQ

new activity 2 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

models

None public yet

datasets

None public yet