Xinhao Zheng
4 papers · 2024–2025 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(13)
🏆
Grand Slam
Venues
Top co-authors
Research topics
Artificial Intelligence
(2)
Deep Learning
(2)
Machine Learning
(2)
Core AI
(2)
Core Methods
(2)
Computer Science
(1)
Mathematics & Optimization
(1)
Natural Language Processing
(1)
Applications · Computer Science
(1)
Applications · Natural Language Processing
(1)
Architectures
(1)
Foundations
(1)
Learning Types
(1)
Optimization
(1)
Optimization & Theory
(1)
Keywords
representation learning
(1)
feature learning
(1)
neural network training
(1)
mathematical reasoning
(1)
boolean satisfiability
(1)
model interpretability
(1)
formal verification
(1)
message passing
(1)
feature interaction
(1)
deep neural network
(1)
neural solver
(1)
learning dynamics
(1)
shapley value
(1)
decision logic
(1)
faithfulness metric
(1)
neuro-symbolic method
(1)
graph neural network
(1)
decision-making logic
(1)
interaction pattern
(1)
feature component
(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
NeurIPS 2024