Lincoln
Presidentlin
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
about 14 hours ago
StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs
through Knowledge-Reasoning Fusion
upvoted
a
collection
about 14 hours ago
PS3: Scaling Vision Pre-Training to 4K Resolution
upvoted
a
collection
about 23 hours ago
MiroThinker-v0.1
Organizations
None yet