BiNSGPS: Geometry Problem Solving via Bidirectional Neuro-Symbolic Interaction

In three linesBiNSGPS establishes bidirectional interaction between a multimodal LLM adviser and a symbolic solver for geometry problem solving. The system dynamically rectifies inconsistent formal representations and proposes auxiliary hypotheses based on solver feedback, eliminating early-stage errors from unidirectional neuro-symbolic pipelines.

Summary generated by Claude — human-verified