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 61 10

  2. OccamLGS OccamLGS Public

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

    Python 45 1

  3. qblaze qblaze Public

    An Efficient and Scalable Sparse Quantum Simulator

    Rust 16

  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 15

  5. dager-gradient-inversion dager-gradient-inversion Public

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

    Python 14 6

  6. USDNet USDNet Public

    Python 13 2

Repositories

Showing 10 of 30 repositories

Top languages

Loading…

Most used topics

Loading…