Martin Rinard
9 papers · 2013–2024 · 5 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 ยท Silver
๐
Academic Marathon ยท Half
๐
Interdisciplinary Bridge ยท Silver
๐บ๏ธ
Taxonomy Completionist
(18)
Top co-authors
Research topics
Machine Learning
(4)
Artificial Intelligence
(3)
Deep Learning
(3)
Application Areas
(3)
Core AI
(3)
Architectures
(2)
Optimization & Theory
(2)
Interdisciplinary
(1)
Mathematics & Optimization
(1)
Natural Language Processing
(1)
Core Methods
(1)
Learning Types
(1)
Linguistics
(1)
Mathematics
(1)
Optimization
(1)
Keywords
image classification
(2)
reinforcement learning
(1)
adversarial robustness
(1)
data poisoning
(1)
domain generalization
(1)
domain adaptation
(1)
transformer
(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)
backdoor attack
(1)
language model
(1)
synthetic data
(1)
neural network verification
(1)
long-horizon planning
(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
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments
NeurIPS 2021
Towards Context-Agnostic Learning Using Synthetic Data
NeurIPS 2021
Efficient Exact Verification of Binarized Neural Networks
NeurIPS 2020
Neurosymbolic Transformers for Multi-Agent Communication
NeurIPS 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