Martin Rinard
9 papers
· 2013–2024
· 5 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(5)
π
Academic Marathon
(11)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(13)
π§
Keyword Pioneer
π
Cross-Pollinator
(15)
Conferences
NIPS (4)
ACL (2)
AISTATS (1)
ICLR (1)
ICML (1)
Top co-authors
Keywords
information theory
(1)
image classification
(1)
reinforcement learning
(1)
adversarial robustness
(1)
domain generalization
(1)
domain adaptation
(1)
program synthesis
(1)
model predictive control
(1)
synthetic data generation
(1)
random sampling
(1)
visual classification
(1)
distribution shift
(1)
algorithm design
(1)
discrete distribution
(1)
synthetic datum
(1)
neural network verification
(1)
long-horizon planning
(1)
binarized neural network
(1)
sat solver
(1)
multi-agent system
(1)