Skip to content

@insait-institute INSAIT

Change the repository type filter

All

    Repositories list

    21 repositories

    • dager-gradient-inversion

      Public
      Code for the NeurIPS 2024 submission: "DAGER: Extracting Text from Gradients with Language Model Priors"
      Python
      •
      Apache License 2.0
      •6•12•2•0•Updated Aug 13, 2025Aug 13, 2025

    • USDNet

      Public
      Python
      •
      MIT License
      •0•4•0•0•Updated Aug 10, 2025Aug 10, 2025

    • open-proof-corpus

      Public
      This repository contains the code for the paper The Open Proof Corpus: Building a Large-Scale, Human-Validated Dataset of LLM-Generated Proofs.
      Python
      •
      Apache License 2.0
      •0•12•2•0•Updated Aug 4, 2025Aug 4, 2025

    • MixAT

      Public
      Python
      •1•1•0•0•Updated Jul 30, 2025Jul 30, 2025

    • Articulate3D

      Public
      Code assets for the Articulate3D paper
      Python
      •0•2•0•0•Updated Jun 30, 2025Jun 30, 2025

    • GenieRedux

      Public
      A framework for training world models with virtual environments, complete with annotated environment dataset (RetroAct), exploration agent (AutoExplore Agent), and GenieRedux-G - an implementation of Genie with enhancements
      generative-modelinteractive-environmentsgenieworld-model
      Python
      •
      MIT License
      •8•49•0•0•Updated Jun 15, 2025Jun 15, 2025

    • performative-prediction-impact-replication

      Public
      Replication files for the paper "On the Social Impact of Performative Risk Minimization for Binary Random Variables" (2025)
      Jupyter Notebook
      •0•0•0•0•Updated Jun 5, 2025Jun 5, 2025

    • ReVLA

      Public
      0•0•0•0•Updated May 23, 2025May 23, 2025

    • lm-evaluation-harness-uk

      Public
      A framework for few-shot evaluation of language models.
      Python
      •
      MIT License
      •2.6k•3•0•0•Updated Apr 22, 2025Apr 22, 2025

    • GRAIN

      Public
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Apr 15, 2025Apr 15, 2025

    • OccamLGS

      Public
      Occam’s LGS: An efficient approach for Language Gaussian Splatting
      Python
      •
      Other
      •1•35•2•0•Updated Mar 28, 2025Mar 28, 2025

    • InTraGen

      Public
      Official code for paper InTraGen: Trajectory-controlled Video Generation for Object Interactions
      Python
      •1•8•2•0•Updated Jan 17, 2025Jan 17, 2025

    • Museum-65

      Public
      Jupyter Notebook
      •0•0•0•0•Updated Jan 13, 2025Jan 13, 2025

    • model.bggpt.ai

      Public
      HTML
      •
      MIT License
      •5•1•0•0•Updated Nov 24, 2024Nov 24, 2024

    • BgGPT

      Public
      HTML
      •
      MIT License
      •5•5•5•1•Updated Nov 24, 2024Nov 24, 2024

    • WildBench

      Public
      Benchmarking LLMs with Challenging Tasks from Real Users
      Jupyter Notebook
      •
      Apache License 2.0
      •44•0•0•0•Updated Nov 11, 2024Nov 11, 2024

    • ParticleDETR

      Public
      Diffusion-based Particle-DETR for BEV Perception
      Python
      •
      Apache License 2.0
      •0•5•1•0•Updated Sep 9, 2024Sep 9, 2024

    • SEER

      Public
      Python
      •0•2•0•0•Updated Jun 27, 2024Jun 27, 2024

    • MUZE

      Public
      Jupyter Notebook
      •1•6•0•0•Updated Jun 24, 2024Jun 24, 2024

    • lm-evaluation-harness-bg

      Public
      A framework for few-shot evaluation of language models, extended with benchmarks by https://insait.ai/
      Python
      •
      MIT License
      •2.6k•8•0•0•Updated Feb 18, 2024Feb 18, 2024

    • provably-robust-boosting

      Public
      Provably Robust Boosted Decision Stumps and Trees against Adversarial Attacks [NeurIPS 2019]
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •12•0•0•0•Updated Apr 25, 2020Apr 25, 2020