"Leveraging the subgoals generated by DeepSeek-V3, we adopt a recursive solving strategy to systematically resolve each intermediate proof step. We extract subgoal expressions from have statements to ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results