Martin Rinard
9 papers · 2013–2024 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π 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)
Papers
Emergent Representations of Program Semantics in Language Models Trained on Programs
ICML 2024
Incompatibility Clustering as a Defense Against Backdoor Poisoning Attacks
ICLR 2023
Towards Context-Agnostic Learning Using Synthetic Data
NIPS 2021
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments
NIPS 2021
Efficient Exact Verification of Binarized Neural Networks
NIPS 2020
Neurosymbolic Transformers for Multi-Agent Communication
NIPS 2020
The Fast Loaded Dice Roller: A Near-Optimal Exact Sampler for Discrete Probability Distributions
AISTATS 2020
Unanimous Prediction for 100% Precision with Application to Learning Semantic Mappings
ACL 2016
From Natural Language Specifications to Program Input Parsers
ACL 2013