Xinhao Zheng
4 papers · 2024–2025 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Conference Polyglot (4) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (11) π§ Keyword Pioneer π Cross-Pollinator (15)
π
Grand Slam
Conferences
AAAI (1)
ICLR (1)
ICML (1)
NIPS (1)
Top co-authors
Keywords
representation learning
(1)
feature learning
(1)
neural network training
(1)
boolean satisfiability
(1)
model interpretability
(1)
message passing
(1)
feature interaction
(1)
deep neural network
(1)
neural solver
(1)
learning dynamics
(1)
decision logic
(1)
graph neural network
(1)
decision-making logic
(1)
interaction pattern
(1)
feature component
(1)
arithmetic normal form
(1)
cryptographic problem
(1)
Papers
Monitoring Primitive Interactions During the Training of DNNs
AAAI 2025
Rethinking and Improving Autoformalization: Towards a Faithful Metric and a Dependency Retrieval-based Approach
ICLR 2025
Towards Attributions of Input Variables in a Coalition
ICML 2025
Learning Plaintext-Ciphertext Cryptographic Problems via ANF-based SAT Instance Representation
NIPS 2024