Rinard, Martin

7 publications

ICML 2024 Emergent Representations of Program Semantics in Language Models Trained on Programs Charles Jin, Martin Rinard

ICLR 2023 Incompatibility Clustering as a Defense Against Backdoor Poisoning Attacks Charles Jin, Melinda Sun, Martin Rinard

NeurIPS 2021 Program Synthesis Guided Reinforcement Learning for Partially Observed Environments Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin Rinard

NeurIPS 2021 Towards Context-Agnostic Learning Using Synthetic Data Charles Jin, Martin Rinard

NeurIPS 2020 Efficient Exact Verification of Binarized Neural Networks Kai Jia, Martin Rinard

NeurIPS 2020 Neurosymbolic Transformers for Multi-Agent Communication Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin Rinard, Armando Solar-Lezama

AISTATS 2020 The Fast Loaded Dice Roller: A Near-Optimal Exact Sampler for Discrete Probability Distributions Feras Saad, Cameron Freer, Martin Rinard, Vikash Mansinghka