Skip to content
@insait-institute

INSAIT

Institute for Computer Science, Artificial Intelligence and Technology

Popular repositories Loading

  1. GenieRedux 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 …

    Python 49 8

  2. OccamLGS OccamLGS Public

    Occam’s LGS: An efficient approach for Language Gaussian Splatting

    Python 35 1

  3. dager-gradient-inversion dager-gradient-inversion Public

    Code for the NeurIPS 2024 submission: "DAGER: Extracting Text from Gradients with Language Model Priors"

    Python 12 6

  4. open-proof-corpus 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 12

  5. lm-evaluation-harness-bg lm-evaluation-harness-bg Public

    Forked from EleutherAI/lm-evaluation-harness

    A framework for few-shot evaluation of language models, extended with benchmarks by https://insait.ai/

    Python 8 1

  6. InTraGen InTraGen Public

    Official code for paper InTraGen: Trajectory-controlled Video Generation for Object Interactions

    Python 8 1

Repositories

Showing 10 of 21 repositories

Top languages

Loading…

Most used topics

Loading…