Explanipedia

Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models Open

Chenrui Cao, Liangcheng Song, Zhongyu Li, Xinyi Le, Xian Zhang , et al. · 2025

Recent advancements, such as DeepSeek-Prover-V2-671B and Kimina-Prover-Preview-72B, demonstrate a prevailing trend in leveraging reinforcement learning (RL)-based large-scale training for automated theorem proving. Surprisingly, we discove…

Oxidative stress-induced decreased expression of FABP5 leads to mitochondrial damage and survival disorder of decidual stromal cells in women with recurrent spontaneous abortion Open

Dong Li, Honglei Duan, Zihan Jiang, Chunxiang Zhou, Chenrui Cao , et al. · 2025

Our findings demonstrate that FABP5 downregulation compromises DSC survival by disrupting MRPL17-dependent mitochondrial function, thereby attenuating CXCL11/CXCR3 mediated trophoblast invasion and migration. This study unveils a novel FAB…

Increased circulating miR-155 identifies a subtype of preeclamptic patients Open

Zhiyin Wang, Mingming Zheng, Honglei Duan, Yuan Wang, Yimin Dai , et al. · 2025

Research on the Gap Effect of Circular Concrete-Filled Steel Tubes Using the Improved Cohesive Zone Model Open

Jiang Yu, Bin Gong, Chenrui Cao · 2024

Understanding the influence of gap distribution characteristics on the mechanical properties of circular concrete-filled steel tubes (CCFSTs) under bending load is important for stability and support design in engineering projects. In this…

A novel cohesive interlayer model considering friction Open

Jiang-Hao Yu, Bin Gong, Chenrui Cao, Chun’an Tang · 2024

Targeting <span>CD301</span> <sup>+</sup> macrophages inhibits endometrial fibrosis and improves pregnancy outcome Open

Haining Lv, Haixiang Sun, Limin Wang, Simin Yao, Dan Liu , et al. · 2023

Macrophages are a key and heterogeneous cell population involved in endometrial repair and regeneration during the menstrual cycle, but their role in the development of intrauterine adhesion (IUA) and sequential endometrial fibrosis remain…

Targeting CD301+ macrophage inhibits endometrial fibrosis and improves pregnancy outcome Open

Haining Lv, Haixiang Sun, Limin Wang, Simin Yao, Dan Liu , et al. · 2023

Macrophages are a key and heterogeneous cell population involved in endometrial repair and regeneration during the menstrual cycle, but their role in the development of intrauterine adhesion (IUA) and sequential endometrial fibrosis remain…

A Phase-Field Model of Electrochemical Migration for Silver-Based Conductive Adhesives Open

Chenrui Cao, Mingkun Yang, Liang Chen, Donglin Zhang, Xin Chen , et al. · 2023

Elevated Placental microRNA-155 Is a Biomarker of a Preeclamptic Subtype Open

Zhiyin Wang, Dan Liu, Yimin Dai, Ruotian Li, Yaowu Zheng , et al. · 2022

Background: Preeclampsia is a complicated syndrome with marked heterogeneity. The biomarker-based classification for this syndrome is more constructive to the targeted prevention and treatment of preeclampsia. It has been reported that pre…

Increased Circulating miR-155 identifies a subtype of preeclamptic patients Open

Zhiyin Wang, Honglei Duan, Yuan Wang, Dan Liu, Chenrui Cao , et al. · 2022

Preeclampsia is a heterogeneous disorder which affect maternal and fetal outcomes. The current classifications of preeclampsia such as “early-“ and “late-” types, and “mild” and “severe” forms, are too imprecise to delineate the pathophysi…

Down-regulation of PBK inhibits proliferation of human endometrial stromal cells in thin endometrium Open

Qi Zhu, Simin Yao, Yishan Dong, Dan Liu, Huiyan Wang , et al. · 2022

Forecast the Stock Volatility of Ping an Bank Based on HAR-RV Model Open

Chenrui Cao · 2022

The importance of Ping An Bank in the Chinese stock market is obvious, and does the smallness of investors have an impact on its stock market?Based on heterogeneous autoregressive theory, I collected the close price of Ping An Bank stock m…

Additional file 1 of Down-regulation of PBK inhibits proliferation of human endometrial stromal cells in thin endometrium Open

Qi Zhu, Simin Yao, Yishan Dong, Dan Liu, Huiyan Wang , et al. · 2022

Additional file 1: Supplementary Figure 1. Enrichment analysis of differentially expressed genes. Functional enrichment analysis of the up- and downregulated DEGs, including GO category cellular components (A), and molecular function (B). …

Placenta-derived IL-32β activates neutrophils to promote preeclampsia development Open

Dan Liu, Qiang Li, Hailin Ding, Guangfeng Zhao, Zhiyin Wang , et al. · 2021

Immune activation at the maternal-fetal interface is a main pathogenic factor of preeclampsia (PE). Neutrophils (PMNs) are activated in PE patients, but the mechanism and consequences of PMN activation need to be further explored. Here, we…

Downregulation of CD151 induces oxidative stress and apoptosis in trophoblast cells via inhibiting ERK/Nrf2 signaling pathway in preeclampsia Open

Zhiyin Wang, Bin Cai, Chenrui Cao, Haining Lv, Yimin Dai , et al. · 2021

Preeclampsia (PE) is a pregnancy-related syndrome characterized by new-onset hypertension and proteinuria after gestational 20 weeks. Oxidative stress, resulting from the imbalance between the production of oxidants and antioxidants in pla…

HMGA2-induced epithelial–mesenchymal transition is reversed by let-7d in intrauterine adhesions Open

Minmin Song, Chenrui Cao, Zhenhua Zhou, Simin Yao, Peipei Jiang , et al. · 2020

Intrauterine adhesions (IUAs), the leading cause of uterine infertility, are characterized by endometrial fibrosis. The management of IUA is challenging because the pathogenesis of the disease largely unknown. In this study, we demonstrate…

Chenrui Cao YOU? Author Swipe