Yupeng Ren

Scratchy: Visual-Scratchpad Multimodal Reasoning for Cryptographic Proof Generation in EasyCrypt

Yupeng Ren, Zhaoxuan Li, Rui Zhang

Large language models (LLMs) have recently made substantial progress in formal proof generation, yet presenting distinctive challenges in cryptographic area. Computational security arguments posit that a valid proof must coordinate probability, adversarial games, invariants, assumptions and bounds, which can be provided by …

High-order spectral difference methods with WENO-ZQ limiter for Hamilton-Jacobi equations

Yupeng Ren, G. Zhang, Zhimin Zhang

Lipid tail heterogeneity enables organ-selective mRNA delivery for in vivo CRISPR-Cas9 gene editing

Jing Liao, Ling Zeng, Zixi Zhang, Yingsen Tang et autres

A Structurally Stabilized Lipopolymer Nanoplatform Targeting Pan‐Tissue Antigen‐Presenting Cells Enables Durable in situ mRNA Cancer Immunotherapy

L L Zeng, Qian Shen, Lingyu Wei, M J Jiang et autres

Messenger RNA (mRNA) vaccines have transformed cancer immunotherapy, yet delayed immune activation, multi-dose requirements, and poor efficacy in immunosuppressive tumor microenvironments (TMEs) hinder current platforms. Here, a structurally stabilized lipopolymer nanoparticle (LPNP) platform is proposed for in situ mRNA vaccination targeting antigen-presenting …

cn (code pays fourni par la source)

Effect of Ce on the Microstructure and Properties of Al-0.2Er Alloy

Shaoli Fu, Yupeng Ren, Ping Liu, Xiaohong CHEN et autres

cn (code pays fourni par la source)

FATS: A Prompt Injection Attack Utilizing Feign Security Agents with Deceptive Few-Shots Learning

Yupeng Ren, Jiangtao Chen, Rui Zhang

cn (code pays fourni par la source)

AI-Facilitated Assessment of Cognitive Status Based on Oculomotor Metrics

Xiaoping Yun, Kyung Koh, Jerry Yu, Yupeng Ren et autres

Traditional cognitive screening relies on subjective neuropsychological assessments. Oculomotor metrics offer a non-invasive, physiological alternative, but traditional statistical models struggle to capture their complex, non-linear relationships with functional decline. We developed a Hybrid CNN-Transformer deep learning architecture using five oculomotor metrics: fixation …

cn, us (code pays fourni par la source)

SAMST: A Transformer Framework Based on Sam Pseudo Label Filtering for Remote Sensing Semi-Supervised Semantic Segmentation

Jun Yin, Fei Wu, Yupeng Ren, Jisheng Huang et autres

Public remote sensing datasets often face limitations in universality due to resolution variability and inconsistent land cover category definitions. To harness the vast pool of unlabeled remote sensing data, we propose SAMST, a semi-supervised semantic segmentation method. SAMST leverages the strengths of …

cn (code pays fourni par la source)

Landslide Monitoring from the Perspective of Surveillance Cameras with Change Detection Technology

Jun Yin, Fei Wu, Jisheng Huang, Yupeng Ren et autres

Landslide is one of the most dangerous natural disasters, which cause significant economic and even human life loss every year. To reduce the loss caused by landslide, it is important to monitor the occurrence of landslide and give an alarm in time. …

cn (code pays fourni par la source)

Rheological properties of deep-sea sediment flows with different sediment grain sizes and concentrations

Guohui Xu, Zhiyuan Chen, Zhiqin Liu, Yupeng Ren et autres

Submarine sediment flows, as the primary transport mechanism for deep-sea sediments, are a crucial component of the marine sediment “source-sink” system. The type and movement velocity of sediment flows are governed by their rheological properties, which fundamentally depend on the variations in …

cn (code pays fourni par la source)

Endocrine-driven FGF21 mRNA therapy via route-adaptable lipopolymer nanoparticles for the treatment of pancreatitis

Jia Liu, Ling Zeng, Qian Shen, Tingfeng Yu et autres

cn (code pays fourni par la source)

SAMST: A Transformer framework based on SAM pseudo label filtering for remote sensing semi-supervised semantic segmentation

Jun Yin, Fei Wu, Yupeng Ren, Jisheng Huang et autres

Public remote sensing datasets often face limitations in universality due to resolution variability and inconsistent land cover category definitions. To harness the vast pool of unlabeled remote sensing data, we propose SAMST, a semi-supervised semantic segmentation method. SAMST leverages the strengths of …