This paper proposes an interpretable geometry solution based on the formal language set of text and diagram. Geometry problems are solved by machines, which still poses challenges in natural language processing and computer vision. Significant progress promotes existing methods in the extraction of geometric formal languages. However, the neglect of the graph structure information in the formal language and the lack of further refinement of the extracted language set can lead to the poor effect of the theorem prediction and affect the accuracy in problem solving. In this paper, the formal language graph is constructed by the extracted formal language set and used to theorem prediction by graph convolutional network. So as to better extract the relationship set of diagram elements, an improved diagram parser was proposed. The test results indicate that the improved method has good results in solving the problem with interpretability geometry.

The one-dimensional MoS₂/carbon nanofibers (1D MoS₂/CNFs) are synthesized by electrospinning using exfoliated MoS₂ nanosheets and polyacrylonitrile as raw materials. The exfoliated MoS₂ nanosheets with size of about 150 nm are encapsulated in carbon nanofibers, and the free-standing MoS₂/CNFs can be easily cut into flexible tablet and directly used as binder-free anode for lithium storage. The resultant 1D MoS₂/CNFs exhibit a very high reversible capacity of 700 mAh g^-1 at 100 mA g^-1 after 50 cycles, high rate capacity (450 mAh g^-1 at 1000 mA g^-1 after 200 cycles) and good cycle stability.