Scholar
Tianqi Zhao
Google Scholar ID: zXY5j3UAAAAJ
Zhongguancun Laboratory
formal methods
symbolic computation
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
27
H-index
3
i10-index
1
Publications
9
Co-authors
2
list available
Publications
12 items
Architecture Alignment With Sparse Priors in Tabular Foundation Models
2026
Cited
0
Detecting Nonproperness of Likelihood Equations
2026
Cited
0
VeriSkill: A Self-Evolution Framework for Program Verification Skills
2026
Cited
0
Skills Are Not Islands: Measuring Dependency and Risk in Agent Skill Supply Chains
2026
Cited
0
TFZ-Tree: An Ultra-Lightweight Waveform Classification Framework for Resource-Constrained Devices
2026
Cited
0
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
Load more
Co-authors
1 total
Changguo Jia
Peking University
