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