Picture for Bin Dong

Bin Dong

Beijing International Center for Mathematical Research, Peking University, Center for Machine Learning Research, Peking University, National Biomedical Imaging Center, Peking University

MorphoBench: A Benchmark with Difficulty Adaptive to Model Reasoning

Add code
Oct 16, 2025
Viaarxiv icon

Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph

Add code
Oct 06, 2025
Viaarxiv icon

Aligning Perception, Reasoning, Modeling and Interaction: A Survey on Physical AI

Add code
Oct 06, 2025
Viaarxiv icon

InverseScope: Scalable Activation Inversion for Interpreting Large Language Models

Add code
Jun 09, 2025
Figure 1 for InverseScope: Scalable Activation Inversion for Interpreting Large Language Models
Figure 2 for InverseScope: Scalable Activation Inversion for Interpreting Large Language Models
Figure 3 for InverseScope: Scalable Activation Inversion for Interpreting Large Language Models
Figure 4 for InverseScope: Scalable Activation Inversion for Interpreting Large Language Models
Viaarxiv icon

RainFusion: Adaptive Video Generation Acceleration via Multi-Dimensional Visual Redundancy

Add code
May 27, 2025
Viaarxiv icon

REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning

Add code
May 27, 2025
Viaarxiv icon

MIRB: Mathematical Information Retrieval Benchmark

Add code
May 21, 2025
Viaarxiv icon

Unlock Pose Diversity: Accurate and Efficient Implicit Keypoint-based Spatiotemporal Diffusion for Audio-driven Talking Portrait

Add code
Mar 17, 2025
Viaarxiv icon

AI-Driven Automated Tool for Abdominal CT Body Composition Analysis in Gastrointestinal Cancer Management

Add code
Mar 10, 2025
Viaarxiv icon

GATE: Graph-based Adaptive Tool Evolution Across Diverse Tasks

Add code
Feb 20, 2025
Figure 1 for GATE: Graph-based Adaptive Tool Evolution Across Diverse Tasks
Figure 2 for GATE: Graph-based Adaptive Tool Evolution Across Diverse Tasks
Figure 3 for GATE: Graph-based Adaptive Tool Evolution Across Diverse Tasks
Figure 4 for GATE: Graph-based Adaptive Tool Evolution Across Diverse Tasks
Viaarxiv icon