Scholar

Jian Zhang

Google Scholar ID: twHV59IAAAAJ

Institute of Software, Chinese Academy of Sciences

automated reasoningprogram analysissoftware testingconstraint solving

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

21

H-index

1

i10-index

1

Publications

1

Co-authors

0

Contact

No contact links provided.

Publications

6 items

One Token, Two Fates: A Unified Framework via Vision Token Manipulation Against MLLMs Hallucination

2026

Cited

0

Duala: Dual-Level Alignment of Subjects and Stimuli for Cross-Subject fMRI Decoding

2026

Cited

0

Decomposing and Composing: Towards Efficient Vision-Language Continual Learning via Rank-1 Expert Pool in a Single LoRA

2026

Cited

0

Efficient Code Analysis via Graph-Guided Large Language Models

2026

Cited

0

Validating Generalist Robots with Situation Calculus and STL Falsification

arXiv.org · 2026

Cited

0

Leveraging Flatness to Improve Information-Theoretic Generalization Bounds for SGD

International Conference on Learning Representations · 2026

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)