Pinned Loading

1. forte forte Public

   Official Implementation for Forte: Finding Outliers using Representation Typicality Estimation (ICLR 2025)

   Python 5 1

2. proofofthought proofofthought Public

   Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)

   Python 363 24

3. forte-api forte-api Public

   Python 3 2

4. grammars-formal-uncertainty grammars-formal-uncertainty Public

   [NeurIPS 2025] Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks

   Python 14

5. LEAN-Autoformalization-Uncertainty LEAN-Autoformalization-Uncertainty Public

   Grammars of Formal Uncertainty [NeurIPS 2025] - Adapted for LEAN. Unofficial Implementation. Potentially unstable.

   Lean 1

6. estimate-train-time estimate-train-time Public

   Forked from ICICLE-ai/distributed_training_estimator_of_LLM

   Time cost estimator of LLM's distributed training [HiPC 2025]

   Python 8 1