One of the challenges in learning to perform abstract reasoning is that
...
Program synthesis from natural language (NL) is practical for humans and...
Achieving superhuman playing level by AlphaGo corroborated the capabilit...
Motivated by the search for a counterexample to the Poincaré conjecture ...