Yi Li
uv0xab
AI & ML interests
Software Formal Verification
Recent Activity
liked
a Space
27 days ago
philipp-zettl/UnfilteredAI-NSFW-gen-v2
liked
a model
about 2 months ago
cognitivecomputations/DeepSeek-R1-AWQ
new activity
about 2 months ago
cognitivecomputations/DeepSeek-R1-AWQ:requests get stuck when sending long prompts (already solved, but still don't know why?)
Organizations
None yet
models
None public yet
datasets
None public yet