Pinned Repositories
icpc-website
Website for UIUC ACM-ICPC Team.
agent-rl
Fine-tune LLM agents with online reinforcement learning
agent-tune
block-tetris
deep-graph-al
fashion4you
ktorproject
meta-sparse
trt_tutorial
igl2020
Lean project for Fall 2020
nikil-ravi's Repositories
nikil-ravi/trt_tutorial
nikil-ravi/block-tetris
nikil-ravi/ktorproject
nikil-ravi/agent-rl
Fine-tune LLM agents with online reinforcement learning
nikil-ravi/agent-tune
nikil-ravi/deep-graph-al
nikil-ravi/fashion4you
nikil-ravi/meta-sparse
nikil-ravi/answerable-problems
Example answerable problems.
nikil-ravi/cli-scheduler
nikil-ravi/dtv
The official code release for Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
nikil-ravi/first-contributions
🚀✨ Help beginners to contribute to open source projects
nikil-ravi/hackillinois-react-sample
nikil-ravi/icpc-website
Website for UIUC ACM-ICPC Team.
nikil-ravi/kotlin_backend
nikil-ravi/kotlinbackend
nikil-ravi/lean-utils
nikil-ravi/LLaVA
Visual Instruction Tuning: Large Language-and-Vision Assistant built towards multimodal GPT-4 level capabilities.
nikil-ravi/MolGraphEval
[NeurIPS '23] Evaluating Self-supervised Learning for Molecular Graph Embeddings
nikil-ravi/nikil-ravi.github.io
Personal Website
nikil-ravi/oeis-exps
nikil-ravi/paper-extension
🚀 Minimal Chrome extension template using manifest v3 🚀
nikil-ravi/private-ai
Repo for Udacity's Secure & Private AI course
nikil-ravi/ReProver
Retrieval-Augmented Theorem Provers for Lean
nikil-ravi/seq-regen
nikil-ravi/spectral_CL
nikil-ravi/teach
TEACh is a dataset of human-human interactive dialogues to complete tasks in a simulated household environment.
nikil-ravi/torchtune
A Native-PyTorch Library for LLM Fine-tuning
nikil-ravi/twitter_bot_responder
nikil-ravi/VLM-MultiOn-Agent