zhangjf's picture

zhangjf

zhangjf

·

zhangjf-nlp

AI & ML interests

NLG

Recent Activity

updated a Space about 2 months ago

zhangjf/kimina-lean-server

updated a Space about 2 months ago

zhangjf/kimina-lean-server

authored a paper 4 months ago

Selecting Demonstrations for Many-Shot In-Context Learning via Gradient Matching

View all activity

Organizations

Papers 7

arxiv:2601.16725

arxiv:2510.06857

arxiv:2509.18883

arxiv:2506.04579

spaces 2

Kimina Lean Server

Verify Lean 4 code instantly with online server

Chatbot

models 0

None public yet

datasets 0

None public yet