Renqiu Xia
- Papers
- 10
Cite
Notes
Only stored in your browser.
Authored papers
10SurveyForge: On the Outline Heuristics, Memory-Driven Generation, and Multi-dimensional Evaluation for Automated Survey Writing
arXiv 2025
Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
arXiv 2025
TrustGeoGen: Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving
arXiv 2025
Image Over Text: Transforming Formula Recognition Evaluation with Character Detection Matching
CVPR 2025 1
Training-Free Adaptive Diffusion with Bounded Difference Approximation Strategy
arXiv 2024
DocGenome: An Open Large-scale Scientific Document Benchmark for Training and Testing Multi-modal Large Language Models
arXiv 2024
Once for Both: Single Stage of Importance and Sparsity Search for Vision Transformer Compression
CVPR 2024 1
ChartX & ChartVLM: A Versatile Benchmark and Foundation Model for Complicated Chart Reasoning
arXiv 2024
GeoX: Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training
arXiv 2024
ReSimAD: Zero-Shot 3D Domain Transfer for Autonomous Driving with Source Reconstruction and Target Simulation
arXiv 2023
Affiliations
Frequent co-authors
10from 10 papers