8 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…
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…
M-Eval: A Heterogeneity-Based Framework for Multi-evidence Validation in Medical RAG Systems
Mengzhou Sun, Sendong Zhao, Jianyu Chen +2
Retrieval-augmented Generation (RAG) has demonstrated potential in enhancing medical question-answering systems through the integration of large language models (LLMs) with externa…
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…
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…
The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
Mengzhou Sun
We investigate the end extendibility of models of arithmetic with restricted elementarity. By utilizing the restricted ultrapower construction in the second-order context, for each…