arxiv:2403.14734
WangJianing
wjn1996
AI & ML interests
language model, few-shot learning, knowledge graph
Recent Activity
updated a model 7 days ago
meituan-longcat/LongCat-Flash-Prover submitted a paper 7 days ago
LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement LearningOrganizations
None yet