Picture for Martin Rinard

Martin Rinard

Massachusetts Institute of Technology

Depth-bounded Epistemic Logic

Add code
Jul 11, 2023
Figure 1 for Depth-bounded Epistemic Logic
Figure 2 for Depth-bounded Epistemic Logic
Figure 3 for Depth-bounded Epistemic Logic
Figure 4 for Depth-bounded Epistemic Logic
Viaarxiv icon

Sound Explanation for Trustworthy Machine Learning

Add code
Jun 08, 2023
Viaarxiv icon

Evidence of Meaning in Language Models Trained on Programs

Add code
May 24, 2023
Viaarxiv icon

Effective Neural Network $L_0$ Regularization With BinMask

Add code
Apr 21, 2023
Viaarxiv icon

Verifying Low-dimensional Input Neural Networks via Input Quantization

Add code
Aug 18, 2021
Figure 1 for Verifying Low-dimensional Input Neural Networks via Input Quantization
Figure 2 for Verifying Low-dimensional Input Neural Networks via Input Quantization
Viaarxiv icon

Provable Guarantees against Data Poisoning Using Self-Expansion and Compatibility

Add code
May 08, 2021
Figure 1 for Provable Guarantees against Data Poisoning Using Self-Expansion and Compatibility
Figure 2 for Provable Guarantees against Data Poisoning Using Self-Expansion and Compatibility
Figure 3 for Provable Guarantees against Data Poisoning Using Self-Expansion and Compatibility
Figure 4 for Provable Guarantees against Data Poisoning Using Self-Expansion and Compatibility
Viaarxiv icon

Inductive Program Synthesis over Noisy Datasets using Abstraction Refinement Based Optimization

Add code
Apr 27, 2021
Figure 1 for Inductive Program Synthesis over Noisy Datasets using Abstraction Refinement Based Optimization
Figure 2 for Inductive Program Synthesis over Noisy Datasets using Abstraction Refinement Based Optimization
Figure 3 for Inductive Program Synthesis over Noisy Datasets using Abstraction Refinement Based Optimization
Figure 4 for Inductive Program Synthesis over Noisy Datasets using Abstraction Refinement Based Optimization
Viaarxiv icon

Program Synthesis Over Noisy Data with Guarantees

Add code
Mar 20, 2021
Figure 1 for Program Synthesis Over Noisy Data with Guarantees
Figure 2 for Program Synthesis Over Noisy Data with Guarantees
Figure 3 for Program Synthesis Over Noisy Data with Guarantees
Viaarxiv icon

Program Synthesis Guided Reinforcement Learning

Add code
Feb 22, 2021
Figure 1 for Program Synthesis Guided Reinforcement Learning
Figure 2 for Program Synthesis Guided Reinforcement Learning
Figure 3 for Program Synthesis Guided Reinforcement Learning
Figure 4 for Program Synthesis Guided Reinforcement Learning
Viaarxiv icon

Neurosymbolic Transformers for Multi-Agent Communication

Add code
Jan 05, 2021
Figure 1 for Neurosymbolic Transformers for Multi-Agent Communication
Figure 2 for Neurosymbolic Transformers for Multi-Agent Communication
Figure 3 for Neurosymbolic Transformers for Multi-Agent Communication
Figure 4 for Neurosymbolic Transformers for Multi-Agent Communication
Viaarxiv icon