Pinned Loading This repository includes code and materials for the paper "Efficient PRM Training Data Synthesis via Formal Verification" (ACL 2026 Findings). Python 19 4 GreaterPrompt: A Python Toolkit for Prompt Optimization Python 56 7 ACL2025-Findings paper "Enhance Multimodal Consistency and Coherence for Text-Image Plan Generation" Python 4 Source code for GreaTer ICLR 2025 - Gradient Over Reasoning makes Smaller Language Models Strong Prompt Optimizers Python 36 5 This repository contains the code and data for the paper "VisOnlyQA: Large Vision Language Models Still Struggle with Visual Perception of Geometric Information" (COLM 2025) Python 29 1