Pinned Loading

1. clover clover Public

   Official code for "Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning", ICLR 2025.

   Python 34 5

2. Arguinas Arguinas Public

   Forked from GyoukChu/Arguinas

   Official Implementation of "Argument Reconstruction as Supervision for Critical Thinking in LLMs"

   Python

3. ReivewScore ReivewScore Public

   Official code for "ReviewScore: Misinformed Peer Review Detection with Large Language Models", EMNLP 2026 Findings.

   Python 2

4. FORK FORK Public

   Forked from JHKim631/FORK

   Official Implementation of "Eat Your Precision: Precision Objective Mitigates Reward Hacking in Rubric-Based RL"

   Python