Abstract: Quantum computing, or quantum computation, has garnered increasing attention within the computational community in recent years, owing to its remarkable efficacy in addressing large-scale ...

Abstract: Research on geometry problem solving is gaining increasing attention in the field of Natural Language Processing (NLP). Currently, research in geometry problem solving often relies on formal ...