Pinned Loading

1. Open-PRISM/PRISM-Physics-Code Open-PRISM/PRISM-Physics-Code Public

   [ICLR2026] PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning

   Python 6 2

2. TREAT TREAT Public

   [NeurIPS 2024] Physics-Informed Regularization for Domain-Agnostic Dynamical System Modeling

   Python 26 3

3. DeepSeek-Prover-V1.5 DeepSeek-Prover-V1.5 Public

   Forked from deepseek-ai/DeepSeek-Prover-V1.5

   Python

4. zou-group/sirius zou-group/sirius Public

   SiriuS: Self-improving Multi-agent Systems via Bootstrapped Reasoning

   Python 100 10

5. DeepSeek-Prover-V2 DeepSeek-Prover-V2 Public

   Forked from deepseek-ai/DeepSeek-Prover-V2

6. ZebraArena ZebraArena Public

   A Diagnostic Simulation Environment for Studying Reasoning–Action Coupling in Tool-Augmented LLMs

   Python 1