"au:"Mengzhou Sun"" — arXiv2 Search

/ Date/ Name

/ Date/ Name

"au:"Mengzhou Sun"" — arXiv2 Search

Showing 1–9 of 9 results

/ Date/ Name

Oct 28, 2025META-RAG: Meta-Analysis-Inspired Evidence-Re-Ranking Method for Retrieval-Augmented Generation in Evidence-Based Medicine Oct 28, 2025PICOs-RAG: PICO-supported Query Rewriting for Retrieval-Augmented Generation in Evidence-Based Medicine Mar 24, 2025The finite cohesiveness principle Oct 28, 2025M-Eval: A Heterogeneity-Based Framework for Multi-evidence Validation in Medical RAG Systems Sep 5, 2024The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle May 27, 2025REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning Apr 2, 2026The cohesive and stable Ramsey theorems and proof size over a weak base theory Jun 20, 2024Proving Olympiad Algebraic Inequalities without Human Demonstrations Mar 4, 2026Robinson Splitting Theorem and $Σ_1$ Induction