Le Song

Latest

• Learn to Explain Efficiently via Neural Logic Inductive Learning
• Learning a Meta-Solver for Syntax-Guided Program Synthesis