Scholar

Tianqi Zhao

Google Scholar ID: zXY5j3UAAAAJ

Zhongguancun Laboratory

formal methodssymbolic computation

Google Scholar↗

Citations & Impact

All-time

Citations

27

H-index

3

i10-index

1

Publications

9

Co-authors

2

list available

Contact

No contact links provided.

Publications

7 items

A Very Big Video Reasoning Suite

2026

Cited

0

TabClustPFN: A Prior-Fitted Network for Tabular Data Clustering

2026

Cited

0

Data-Driven Generation of Neutron Star Equations of State Using Variational Autoencoders

2026

Cited

0

Draw a Portrait of Your Graph Data: An Instance-Level Profiling Framework for Graph-Structured Data

2025

Cited

0

Code Clone Detection via an AlphaFold-Inspired Framework

2025

Cited

0

Advancing Local Search in SMT-NRA with MCSAT Integration

2025

Cited

0

OSVAuto: automatic proofs about functional specifications in OS verification

2024

Cited

0

Resume (English only)

Co-authors

2 total

Peking University