Picture for Yasheng Wang

Yasheng Wang

and Other Contributors

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification

Add code
Jun 05, 2025
Viaarxiv icon

Pangu DeepDiver: Adaptive Search Intensity Scaling via Open-Web Reinforcement Learning

Add code
May 30, 2025
Viaarxiv icon

Pangu Embedded: An Efficient Dual-system LLM Reasoner with Metacognition

Add code
May 29, 2025
Viaarxiv icon

Pangu Light: Weight Re-Initialization for Pruning and Accelerating LLMs

Add code
May 26, 2025
Viaarxiv icon

The Real Barrier to LLM Agent Usability is Agentic ROI

Add code
May 23, 2025
Viaarxiv icon

Stepwise Reasoning Checkpoint Analysis: A Test Time Scaling Method to Enhance LLMs' Reasoning

Add code
May 23, 2025
Viaarxiv icon

Benchmarking Retrieval-Augmented Multimomal Generation for Document Question Answering

Add code
May 22, 2025
Viaarxiv icon

NL-Debugging: Exploiting Natural Language as an Intermediate Representation for Code Debugging

Add code
May 21, 2025
Viaarxiv icon

InfoDeepSeek: Benchmarking Agentic Information Seeking for Retrieval-Augmented Generation

Add code
May 21, 2025
Viaarxiv icon

ToolACE-DEV: Self-Improving Tool Learning via Decomposition and EVolution

Add code
May 12, 2025
Viaarxiv icon