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