Pinned Loading

1. FoVer FoVer Public

   This repository includes code and materials for the paper "Training Step-Level Reasoning Verifiers with Formal Verification Tools".

   Python 5

2. HRScene HRScene Public

   Python 3

3. GreaTer GreaTer Public

   Source code for GreaTer ICLR 2025 - Gradient Over Reasoning makes Smaller Language Models Strong Prompt Optimizers

   Python 29 3

4. GreaterPrompt GreaterPrompt Public

   GreaterPrompt: A Python Toolkit for Prompt Optimization

   Python 30 2

5. VisOnlyQA VisOnlyQA Public

   This repository contains the code and data for the paper "VisOnlyQA: Large Vision Language Models Still Struggle with Visual Perception of Geometric Information"

   Python 23 1

6. ReaLMistake ReaLMistake Public

   This repository includes a benchmark and code for the paper "Evaluating LLMs at Detecting Errors in LLM Responses".

   Python 29 3