INSAIT
Popular repositories Loading
-
GenieRedux
GenieRedux PublicA framework for training world models with virtual environments, complete with annotated environment dataset (RetroAct), exploration agent (AutoExplore Agent), and GenieRedux-G - an implementation …
-
dager-gradient-inversion
dager-gradient-inversion PublicCode for the NeurIPS 2024 submission: "DAGER: Extracting Text from Gradients with Language Model Priors"
-
lm-evaluation-harness-bg
lm-evaluation-harness-bg PublicForked from EleutherAI/lm-evaluation-harness
A framework for few-shot evaluation of language models, extended with benchmarks by https://insait.ai/
Repositories
- 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.
insait-institute/open-proof-corpus’s past year of commit activity - GenieRedux Public
A framework for training world models with virtual environments, complete with annotated environment dataset (RetroAct 10075 ), exploration agent (AutoExplore Agent), and GenieRedux-G - an implementation of Genie with enhancements
insait-institute/GenieRedux’s past year of commit activity - performative-prediction-impact-replication Public
Replication files for the paper "On the Social Impact of Performative Risk Minimization for Binary Random Variables" (2025)
insait-institute/performative-prediction-impact-replication’s past year of commit activity - MixAT Public
insait-institute/MixAT’s past year of commit activity - ReVLA Public
insait-institute/ReVLA’s past year of commit activity - lm-evaluation-harness-uk Public Forked from EleutherAI/lm-evaluation-harness
A framework for few-shot evaluation of language models.
insait-institute/lm-evaluation-harness-uk’s past year of commit activity - GRAIN Public
insait-institute/GRAIN’s past year of commit activity - InTraGen Public
Official code for paper InTraGen: Trajectory-controlled Video Generation for Object Interactions
insait-institute/InTraGen’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…