Get our free extension to see links to code for papers anywhere online!

 Add to Chrome

 Add to Firefox

CatalyzeX Code Finder - Browser extension linking code for ML papers across the web! | Product Hunt Embed
Neurosymbolic Transformers for Multi-Agent Communication

Jan 05, 2021
Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin Rinard, Armando Solar-Lezama


  Access Paper or Ask Questions

Learning From Context-Agnostic Synthetic Data

May 29, 2020
Charles Jin, Martin Rinard


  Access Paper or Ask Questions

Efficient Exact Verification of Binarized Neural Networks

May 07, 2020
Kai Jia, Martin Rinard


  Access Paper or Ask Questions

Manifold Regularization for Adversarial Robustness

Mar 09, 2020
Charles Jin, Martin Rinard


  Access Paper or Ask Questions

Exploiting Verified Neural Networks via Floating Point Numerical Error

Mar 06, 2020
Kai Jia, Martin Rinard


  Access Paper or Ask Questions

Correctness Verification of Neural Networks

Jun 03, 2019
Yichen Yang, Martin Rinard


  Access Paper or Ask Questions

The Three Pillars of Machine Programming

May 08, 2018
Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin Rinard, Regina Barzilay, Saman Amarasinghe, Joshua B Tenenbaum, Tim Mattson


  Access Paper or Ask Questions

A Hardware Platform for Efficient Multi-Modal Sensing with Adaptive Approximation

Apr 06, 2018
Phillip Stanley-Marbell, Martin Rinard


  Access Paper or Ask Questions

Incremental Color Quantization for Color-Vision-Deficient Observers Using Mobile Gaming Data

Mar 22, 2018
Jose Cambronero, Phillip Stanley-Marbell, Martin Rinard


  Access Paper or Ask Questions

Unanimous Prediction for 100% Precision with Application to Learning Semantic Mappings

Jun 23, 2016
Fereshte Khani, Martin Rinard, Percy Liang

* ACL 2016, Removed the duplicate author name of the previous version 

  Access Paper or Ask Questions