Picture for P. Madhusudan

P. Madhusudan

Augmenting Neural Nets with Symbolic Synthesis: Applications to Few-Shot Learning

Add code
Jul 12, 2019
Figure 1 for Augmenting Neural Nets with Symbolic Synthesis: Applications to Few-Shot Learning
Figure 2 for Augmenting Neural Nets with Symbolic Synthesis: Applications to Few-Shot Learning
Figure 3 for Augmenting Neural Nets with Symbolic Synthesis: Applications to Few-Shot Learning
Viaarxiv icon

Invariant Synthesis for Incomplete Verification Engines

Add code
Jan 12, 2018
Figure 1 for Invariant Synthesis for Incomplete Verification Engines
Figure 2 for Invariant Synthesis for Incomplete Verification Engines
Viaarxiv icon

Horn-ICE Learning for Synthesizing Invariants and Contracts

Add code
Dec 26, 2017
Figure 1 for Horn-ICE Learning for Synthesizing Invariants and Contracts
Figure 2 for Horn-ICE Learning for Synthesizing Invariants and Contracts
Figure 3 for Horn-ICE Learning for Synthesizing Invariants and Contracts
Figure 4 for Horn-ICE Learning for Synthesizing Invariants and Contracts
Viaarxiv icon

Learning Universally Quantified Invariants of Linear Data Structures

Add code
Feb 09, 2013
Figure 1 for Learning Universally Quantified Invariants of Linear Data Structures
Viaarxiv icon