- SWE-AGILE: A Software Agent Framework for Efficiently Managing Dynamic Reasoning Context
2026/04/13 by Shuquan Lian, Juncheng Liu, JunCheng Liu +3 · 1 voice
Computer Science · #AI-based Problem Solving and Planning #Adaptive reasoning #Advanced Software Engineering Methodologies #Automated reasoning #Case-based reasoning #Context (archaeology) #Model-based reasoning #Opportunistic reasoning #Qualitative reasoning #Reasoning system #Software System Performance and Reliability #Task (project management) #cs.AI #cs.CL
- VAPO: Efficient and Reliable Reinforcement Learning for Advanced Reasoning Tasks
2025/04/07 by Yue Yu, Yu Yue, Yue, Yu +54 · 1 voice · 149 citations
Computer Science · #Case-based reasoning #Explainable Artificial Intelligence (XAI) #Key (lock) #Matching (statistics) #Multimodal Machine Learning Applications #Process (computing) #Reinforcement #Reinforcement Learning in Robotics #Reinforcement learning #Sequence (biology) #Stability (learning theory)
- DeepSeek-R1 incentivizes reasoning in LLMs through reinforcement learning
DeepSeek-R1 shows an LLM can learn strong step-by-step reasoning from pure reinforcement learning, with no human-labeled reasoning examples.
2025/01/22 by DeepSeek-AI, Daya Guo, Guo, Daya +404 · 93 voices · 2890 citations
Computer Science · #Automated reasoning #Case-based reasoning #Coding (social sciences) #Data Stream Mining Techniques #Explainable Artificial Intelligence (XAI) #Non-monotonic logic #Reasoning system #Reinforcement Learning in Robotics #Reinforcement learning #Verbal reasoning #Verifiable secret sharing
- Deductive Verification of Chain-of-Thought Reasoning
2023/06/06 by Zhan Ling, Yunhao Fang, Ling, Zhan +12 · 1 voice · 43 citations
Computer Science · #Adaptive reasoning #Advanced Graph Neural Networks #Analytic reasoning #Artificial intelligence #Automated reasoning #Case-based reasoning #Computer science #Context (archaeology) #Correctness #Deductive reasoning #Explainable Artificial Intelligence (XAI) #Knowledge representation and reasoning #Logical reasoning #Model-based reasoning #Natural language #Opportunistic reasoning #Process (computing) #Programming language #Qualitative reasoning #Reasoning system #Topic Modeling #cs.AI #cs.CL #cs.LG