Sleeping
Kimina Lean Server
💻
Verify Lean 4 code instantly with online server
zhangjf
zhangjf
AI & ML interests
NLG
Recent Activity
updated a Space 12 days ago
zhangjf/kimina-lean-server updated a Space 13 days ago
zhangjf/kimina-lean-server authored a paper 2 months ago
Selecting Demonstrations for Many-Shot In-Context Learning via Gradient MatchingOrganizations
