Michael Diskin
6 papers · 2021–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 · Bronze
🗺️
Taxonomy Completionist
(14)
❓
The Questioner
Venues
Top co-authors
Research topics
Machine Learning
(6)
Deep Learning
(4)
Optimization & Theory · Machine Learning
(4)
Artificial Intelligence
(3)
Techniques
(3)
Core AI
(2)
Optimization & Theory · Deep Learning
(2)
Mathematics & Optimization
(1)
Application Areas
(1)
Architectures
(1)
Core Methods
(1)
Learning Paradigms
(1)
Learning Types
(1)
Optimization
(1)
Keywords
distributed learning
(3)
distributed training
(2)
communication efficiency
(2)
variational inequality
(1)
mathematical reasoning
(1)
model pretraining
(1)
adversarial training
(1)
neural network optimization
(1)
model parallelism
(1)
gradient compression
(1)
synthetic data
(1)
node classification
(1)
pipeline parallelism
(1)
formal proof
(1)
saddle point
(1)
decentralized learning
(1)
decentralized training
(1)
heterophilous graph
(1)
collaborative training
(1)
byzantine tolerance
(1)
Papers
Synthetic Proofs with Tool-Integrated Reasoning: Contrastive Alignment for LLM Mathematics with Lean
EMNLP 2025
A critical look at the evaluation of GNNs under heterophily: Are we really making progress?
ICLR 2023
SWARM Parallelism: Training Large Models Can Be Surprisingly Communication-Efficient
ICML 2023
Distributed Methods with Compressed Communication for Solving Variational Inequalities, with Theoretical Guarantees
NeurIPS 2022
Secure Distributed Training at Scale
ICML 2022
Distributed Deep Learning In Open Collaborations
NeurIPS 2021