Pinned Loading

1. forte forte Public

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

   Python 5 3

2. proofofthought proofofthought Public

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

   Python 377 29

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 1

5. 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

6. LeanGuard LeanGuard Public

   Lean-native temporal policies and runtime guardrails for agent tool use

   Python 12 2