Xinhao Zheng

6 papers at tracked venues · 6 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

NeurIPS ×3 AAAI ×1 ICLR ×1 ICML ×1

Frequent coauthors

Junchi Yan

×4

Qi Liu

×2

Qinxiang Cao

×2

Xinhao Song

×2

Yang Li

×2

Quanshi Zhang

×2

Renqiu Xia

×1

Bolin Qiu

×1

Zhongteng Gui

×1

Jie Ren

×1

Jiyu Liu

×1

Andrew Lizarraga

×1

Papers

Bootstrapping Hierarchical Autoregressive Formal Reasoner with Chain-of-Proxy-Autoformalization
NeurIPS 2025 ·
Qi Liu
, Xinhao Zheng,
Renqiu Xia
,
Qinxiang Cao
,
Junchi Yan
Bridging Crypto with ML-based Solvers: the SAT Formulation and Benchmarks
NeurIPS 2025 · Xinhao Zheng,
Xinhao Song
,
Bolin Qiu
,
Yang Li
,
Zhongteng Gui
,
Junchi Yan
Monitoring Primitive Interactions During the Training of DNNs
AAAI 2025 ·
Jie Ren
, Xinhao Zheng,
Jiyu Liu
,
Andrew Lizarraga
,
Ying Nian Wu
,
Liang Lin
,
Quanshi Zhang
Rethinking and Improving Autoformalization: Towards a Faithful Metric and a Dependency Retrieval-based Approach
ICLR 2025 ·
Qi Liu
, Xinhao Zheng,
Xudong Lu
,
Qinxiang Cao
,
Junchi Yan
Towards Attributions of Input Variables in a Coalition
ICML 2025 · Xinhao Zheng,
Huiqi Deng
,
Quanshi Zhang
Learning Plaintext-Ciphertext Cryptographic Problems via ANF-based SAT Instance Representation
NeurIPS 2024 · Xinhao Zheng,
Yang Li
,
Cunxin Fan
,
Huaijin Wu
,
Xinhao Song
,
Junchi Yan