Author

Jian Zhang

Observed name: Zhang, Jian

Institutions: Institute of Software, University of Chinese Academy of Sciences

Observed institutions: Institute of Software, University of Chinese Academy of Sciences

OpenAlex ID: A5160166719

Verifiable LLM-Guided Focal SMT Solving for Quantified Arrays

2026 · Lv, Kunhang, Han, Rui, et al. · arXiv (Cornell University)

Nemotron 3.5 Super and Lightning: Open, Efficient Mixture-of-Experts Hybrid Mamba-Transformer Models for Agentic AI

2026 · NVIDIA, :, et al. · arXiv (Cornell University)

Works count: 2

Citation count:

H-index:

I10-index: