← Search

Yantao Li

2 accepted papers

2026

CLM-Access: A Specialized Foundation Model for High-Dimensional Single-Cell ATAC-Seq Analysis

AAAI 2026technical

Inspired by the success of large language models (LLMs) in natural language processing, cell language models (CLMs) have emerged as a promising paradigm to learn cell representations from high-dimensional single-cell data—particularly transcriptomic profiles from scRNA-seq. These foundation models h

Cited by 1SourcePDFScholar
2026

Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees

ICML 2026poster

Statement autoformalization acts as a critical bridge between human mathematics and formal mathematics by translating natural language problems into formal language. While prior works have focused on data synthesis and diverse training paradigms to optimize end-to-end Large Language Models (LLMs), t…

Cited by 0SourceScholar