Jing Xiong
Scholar

Jing Xiong

Google Scholar ID: dFX1hXkAAAAJ
The University of Hong Kong
Natural Language ProcessingAutomated Theorem Proving
Google Scholar↗
Citations & Impact
All-time
Citations
454
 
H-index
12
 
i10-index
14
 
Publications
20
 
Co-authors
20
list available
Contact
No contact links provided.
Publications
18 items
OScaR: The Occam's Razor for Extreme KV Cache Quantization in LLMs and Beyond
2026
Cited
0
CuSearch: Curriculum Rollout Sampling via Search Depth for Agentic RAG
2026
Cited
0
CktFormalizer: Autoformalization of Natural Language into Circuit Representations
2026
Cited
0
The Granularity Axis: A Micro-to-Macro Latent Direction for Social Roles in Language Models
2026
Cited
0
MedProbeBench: Systematic Benchmarking at Deep Evidence Integration for Expert-level Medical Guideline
2026
Cited
0
CodeComp: Structural KV Cache Compression for Agentic Coding
2026
Cited
0
Attention Sink in Transformers: A Survey on Utilization, Interpretation, and Mitigation
2026
Cited
0
MathGen: Revealing the Illusion of Mathematical Competence through Text-to-Image Generation
2026
Cited
0
Resume (English only)
Co-authors
20 total
Chuanyang Zheng
Chuanyang Zheng
The Chinese University of Hong Kong
Zhongwei Wan
Zhongwei Wan
The Ohio State University, PhD student
Chaofan Tao
Chaofan Tao
The University of Hong Kong
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Zhijiang Guo
Zhijiang Guo
HKUST (GZ) | HKUST
Hui Shen
Hui Shen
University of Michigan, Ph.D. Student in Computer Science (2025.9-?)
Mi Zhang
Mi Zhang
Associate Professor, Director of AIoT and MLSys Lab, The Ohio State University