7 papers
LLM-Enhanced Commit Message Generation via Issue Information: An Exploratory Study
Zongen Ren, Wei Shi, Bo Xiong +2
Commit messages help developers understand code changes, support collaboration, and improve long-term maintenance. However, the use of issue information alone as the external conte…
Story2Proposal: A Scaffold for Structured Scientific Paper Writing
Zhuoyang Qian, Wei Shi, Xu Lin +19
Generating scientific manuscripts requires maintaining alignment between narrative reasoning, experimental evidence, and visual artifacts across the document lifecycle. Existing la…
LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning
Jianing Wang, Jianfei Zhang, Qi Guo +24
We introduce LongCat-Flash-Prover, a flagship 560-billion-parameter open-source Mixture-of- Experts (MoE) model that advances Native Formal Reasoning in Lean4 through agentic tool-…
Cognitively Layered Data Synthesis for Domain Adaptation of LLMs to Space Situational Awareness
Ding Linghu, Cheng Wang, Da Fan +6
Large language models (LLMs) demonstrate exceptional performance on general-purpose tasks. however, transferring them to complex engineering domains such as space situational aware…
LegalChainReasoner: A Legal Chain-guided Framework for Criminal Judicial Opinion Generation
Weizhe Shi, Qiqi Wang, Yihong Pan +2
A criminal judicial opinion represents the judge's disposition of a case, including the decision rationale and sentencing. Automatically generating such opinions can assist in anal…
InstructRAG: Leveraging Retrieval-Augmented Generation on Instruction Graphs for LLM-Based Task Planning
Zheng Wang, Shu Xian Teo, Jun Jie Chew +1
Recent advancements in large language models (LLMs) have enabled their use as agents for planning complex tasks. Existing methods typically rely on a thought-action-observation (TA…