7 papers
The cohesive and stable Ramsey theorems and proof size over a weak base theory
Leszek Aleksander KoÅodziejczyk, Mengzhou Sun
We show that over the weak base theory , cohesive Ramsey's theorem for pairs implies exponential closure of the definable cut ,…
Robinson Splitting Theorem and Induction
Yong Liu, Cheng Peng, Mengzhou Sun
The Robinson Splitting Theorem states that a c.e. degree splits over any low c.e. degree . We prove that a weaker version of this theorem holds…
The finite cohesiveness principle
Mengzhou Sun
We investigate the logical strength of the cohesiveness principle when restricted to finite sequences of sets, denoted by fin-COH, over different base theories. Our main result sho…
REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
Ziju Shen, Naohao Huang, Fanyi Yang +11
Nowadays, formal theorem provers have made monumental progress on high-school and competition-level mathematics, but few of them generalize to more advanced mathematics. In this pa…
META-RAG: Meta-Analysis-Inspired Evidence-Re-Ranking Method for Retrieval-Augmented Generation in Evidence-Based Medicine
Mengzhou Sun, Sendong Zhao, Jianyu Chen +2
Evidence-based medicine (EBM) holds a crucial role in clinical application. Given suitable medical articles, doctors effectively reduce the incidence of misdiagnoses. Researchers f…
PICOs-RAG: PICO-supported Query Rewriting for Retrieval-Augmented Generation in Evidence-Based Medicine
Mengzhou Sun, Sendong Zhao, Jianyu Chen +1
Evidence-based medicine (EBM) research has always been of paramount importance. It is important to find appropriate medical theoretical support for the needs from physicians or pat…