Explanipedia

A Review of the Recent Advances in CH4 Recovery from CH4 Hydrate in Porous Media by CO2 Replacement Open

Yingfei Wang, Weizhong Li, Xiangen Wu, Xiang An · 2025

With increasing attention paid to the development of natural gas hydrates, various mining methods have been studied. CO2-CH4 hydrate replacement has become one of the key research topics in the field of natural gas hydrate mining because i…

A Spatially Resolved Atlas of Alternative Polyadenylation Across 18 Human Tissues and 76 Disease States Open

Zheng Jiang, Z. Min, Zhanying Wu, Yubin Chen, Zhongliang Wu , et al. · 2025

Alternative polyadenylation (APA) is a key regulator of gene expression and cellular dynamics, yet systematic investigations of spatially resolved APA across diverse human tissues remain limited. Here, we developed SpatialAPA ( https://git…

Reconstructing high-resolution visual perceptual images from human intracranial electrocorticography signals Open

Yongjie Deng, Xiaolong Wu, Xin Gao, Weizhong Li, Dingguo Zhang · 2025

Objectives. Reconstruction of visual perception from brain signals has emerged as a promising research topic. Electrocorticography (ECoG) is a kind of high-quality intracranial signal with good spatiotemporal resolution that offers some ne…

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning Open

Haiming Wang, Mert Unsal, Xiaohan Lin, Mantas Baksys, Junqi Liu , et al. · 2025

We introduce Kimina-Prover Preview, a large language model that pioneers a novel reasoning-driven exploration paradigm for formal theorem proving, as showcased in this preview release. Trained with a large-scale reinforcement learning pipe…

M1: Towards Scalable Test-Time Compute with Mamba Reasoning Models Open

Junxiong Wang, Weizhong Li, Daniele Paliotta, Daniel P. Ritter, Alexander M. Rush , et al. · 2025

Effective reasoning is crucial to solving complex mathematical problems. Recent large language models (LLMs) have boosted performance by scaling test-time computation through long chain-of-thought reasoning. However, transformer-based mode…

Challenges and Paths Towards AI for Software Engineering Open

Alex Gu, Naman Jain, Weizhong Li, Manish Shetty, Yijia Shao , et al. · 2025

AI for software engineering has made remarkable progress recently, becoming a notable success within generative AI. Despite this, there are still many challenges that need to be addressed before automated software engineering reaches its f…

Challenges and Paths Towards AI for Software Engineering Open

Alex Gu, Naman Jain, Weizhong Li, Manish Shetty, Yijia Shao , et al. · 2025

AI for software engineering has made remarkable progress recently, becoming a notable success within generative AI. Despite this, there are still many challenges that need to be addressed before automated software engineering reaches its f…

Long-term maintenance of patient-specific characteristics in tumoroids from six cancer indications Open

Colin D. Paul, Chris Yankaskas, Pradip Shahi Thakuri, Brittany Balhouse, Shyanne Salen , et al. · 2025

Spectral Constrained Generative Adversarial Network for Hyperspectral Compression Open

Yuanyuan Guo, Weizhong Li, Qi Peng, Li-fen Tu · 2025

Lossy compression exhibits remarkable capabilities in handling large volumes of data. However, information loss can affect spectral characteristics and spatial information to various degrees during hyperspectral compression. Therefore, it …

A universal single-cell transcriptomics atlas of human lung decodes multiple pulmonary diseases Open

Fanjie Wu, Wenhao Cai, Hai C. Tang, Shikang Zheng, Haiyue Zhang , et al. · 2024

Human lung is a complex organ susceptible to various diseases. Single-cell transcriptomic studies provide rich data to targeting specific research questions. Here, we present uniLUNG, the largest lung transcriptomic cell atlas, comprising …

Surveying the Effects of Quality, Diversity, and Complexity in Synthetic Data From Large Language Models Open

Alex Havrilla, Andrew M. Dai, Laura O'Mahony, Koen Oostermeijer, Vera Zisler , et al. · 2024

Synthetic data generation with Large Language Models is a promising paradigm for augmenting natural data over a nearly infinite range of tasks. Given this variety, direct comparisons among synthetic data generation algorithms are scarce, m…

Toward More Transparent and Reproducible Omics Studies Through a Common Metadata Checklist and Data Publications Open

Eugene Kolker, Vural Özdemir, Lennart Martens, William S. Hancock, Gordon Anderson , et al. · 2024

Toward More Transparent and Reproducible Omics Studies Through a Common Metadata Checklist and Data Publications

An end-to-end deep learning method for mass spectrometry data analysis to reveal disease-specific metabolic profiles Open

Yongjie Deng, Yao Yao, Yanni Wang, T. Semiglazova Yu., Wen-Hao Cai , et al. · 2024

Long-term maintenance of patient-specific characteristics in tumoroids from six cancer indications in a common base culture media system Open

Colin D. Paul, Chris Yankaskas, Pradip Shahi Thakuri, Brittany Balhouse, Shyanne Salen , et al. · 2024

Tumoroids, also known as cancer organoids, are patient-derived cancer cells grown as 3D, self-organized multicellular structures that maintain key characteristics (e.g., genotype, gene expression levels) of the tumor from which they origin…

scMoresDB: A comprehensive database of single-cell multi-omics data for human respiratory system Open

Kang Chen, Yutong Han, Yanni Wang, Dingli Zhou, Fanjie Wu , et al. · 2024

The human respiratory system is a complex and important system that can suffer a variety of diseases. Single-cell sequencing technologies, applied in many respiratory disease studies, have enhanced our ability in characterizing molecular a…

Toward a Better Understanding of Forest Spatial Patterns:A Generalisation of the Uniform Angle Index Open

Weizhong Li, Xuan Zhao, Yuankun Bu, Jialiang Wei, Klaus von Gadow , et al. · 2024