Skip to content

@AIQ-Kitware AIQ-Kitware

All

    Repositories list

    21 repositories

    • aiq-dkps-formalization

      Public
      An AI assisted formalization of DKPS and underlying theorems
      Lean
      •
      Apache License 2.0
      •1•0•0•0•Updated Oct 3, 2026Oct 3, 2026

    • infer_stack

      Public
      Python
      •
      Other
      •1•0•0•6•Updated Oct 3, 2026Oct 3, 2026

    • aiq-magnet

      Public
      Python
      •
      Apache License 2.0
      •2•2•4•1•Updated Oct 1, 2026Oct 1, 2026

    • aiq-yu-wang-samworth-2015-useful-variant-davis-kahan-statisticians-formalization

      Public
      A standalone repo for the formalization of Yu Wang Samworth 2015
      Lean
      •
      Apache License 2.0
      •1•1•0•0•Updated Sep 17, 2026Sep 17, 2026

    • aiq-davis-kahan-1970-rotation-eigenvectgors-perturbation-formalization

      Public
      A standalone repo for the formalization of Davis Kahan 1970
      Lean
      •
      Apache License 2.0
      •1•1•0•0•Updated Sep 16, 2026Sep 16, 2026

    • eval_audit

      Public
      Python
      •
      Apache License 2.0
      •1•0•0•0•Updated Sep 15, 2026Sep 15, 2026

    • aiq-lean-formalization-tools

      Public
      A repo for reusable formalization tools.
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 5, 2026Sep 5, 2026

    • princeton-phase1-dry-run-eval

      Public
      Python
      •1•0•0•0•Updated Sep 4, 2026Sep 4, 2026

    • jhu-magnet-dkps

      Public
      jhu-magnet-dkps
      Python
      •1•0•0•0•Updated Sep 4, 2026Sep 4, 2026

    • aiq-mit-ta2-datasets-and-predictors

      Public
      Python
      •1•0•0•0•Updated Sep 4, 2026Sep 4, 2026

    • VeriStressGT

      Public
      Python
      •
      MIT License
      •1•0•0•0•Updated Sep 4, 2026Sep 4, 2026

    • kwdagger

      Public
      Lightweight DAG pipeline definitions with parameter grids
      Python
      •
      Other
      •0•0•0•2•Updated Aug 25, 2026Aug 25, 2026

    • aiq-drsb-formalization

      Public
      DRSB formalization
      Lean
      •0•0•0•0•Updated Jul 30, 2026Jul 30, 2026

    • aiq-veristressgt-formalization

      Public
      An AI assisted formalization of VeristressGT
      Lean
      •
      Apache License 2.0
      •0•0•0•0•Updated Jul 20, 2026Jul 20, 2026

    • eval-card-viz

      Public
      Trame visualization for Evaluation Card results
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Jun 22, 2026Jun 22, 2026

    • aiq-mit-ta2

      Public
      HELM Run Specs and Scenarios from the MIT TA2 team
      Python
      •0•0•0•1•Updated Jun 14, 2026Jun 14, 2026

    • ta1-magnet-integration-example

      Public
      Python
      •
      Apache License 2.0
      •1•0•0•0•Updated Jun 12, 2026Jun 12, 2026

    • magnet-integration-template

      Public
      Integration Template for the MAGNET Framework
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Jun 12, 2026Jun 12, 2026

    • cmd_queue

      Public
      A Python module for executing a DAG of bash jobs.
      Python
      •
      Apache License 2.0
      •2•0•0•0•Updated Jun 12, 2026Jun 12, 2026

    • helm

      Public
      Holistic Evaluation of Language Models (HELM) is an open source Python framework created by the Center for Research on Foundation Models (CRFM) at Stanford for …
      Python
      •
      Apache License 2.0
      •421•0•0•2•Updated Apr 24, 2026Apr 24, 2026

    • neurips-2025-MAGNET

      Public
      Latex source for our paper accepted at the NeurIPS 2025 Workshop on Evaluating the Evolving LLM Lifecycle
      TeX
      •
      Apache License 2.0
      •0•0•0•0•Updated Feb 27, 2026Feb 27, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.