Search for a command to run...
A Multi-Modal Neural Geometric Solver with Textual Clauses Parsed from Diagram