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

Qi Liu

DBLP profile ↗ORCID search ↗

×2

Jie Ren

DBLP profile ↗ORCID search ↗

×1

Papers

Bootstrapping Hierarchical Autoregressive Formal Reasoner with Chain-of-Proxy-Autoformalization
NeurIPS 2025 ·
Qi Liu
DBLP profile ↗ORCID search ↗
Bridging Crypto with ML-based Solvers: the SAT Formulation and Benchmarks
NeurIPS 2025 · Xinhao Zheng
Monitoring Primitive Interactions During the Training of DNNs
AAAI 2025 ·
Jie Ren
DBLP profile ↗ORCID search ↗
Rethinking and Improving Autoformalization: Towards a Faithful Metric and a Dependency Retrieval-based Approach
ICLR 2025 ·
Qi Liu
DBLP profile ↗ORCID search ↗
Towards Attributions of Input Variables in a Coalition
ICML 2025 · Xinhao Zheng
Learning Plaintext-Ciphertext Cryptographic Problems via ANF-based SAT Instance Representation
NeurIPS 2024 · Xinhao Zheng