Stars
An AI agent system for solving International Mathematical Olympiad (IMO) problems using Google's Gemini, OpenAI, and XAI APIs.
An open-source AI agent that brings the power of Gemini directly into your terminal.
Get started with building Fullstack Agents using Gemini 2.5 and LangGraph
A collection of formalized statements of conjectures in Lean.
AlphaFold 3 inference pipeline.
NeurIPS 2024: SciFIBench: Benchmarking Large Multimodal Models for Scientific Figure Interpretation
Accompanying repo for CVPRW'24: Charting New Territories: Exploring the Geographic and Geospatial Capabilities of Multimodal LLMs
physica: vectors, fields, differentials, derivatives, Dirac brakets, tensors, and more. See examples in the manual PDF.
Accompanying repo for NeurIPSW'23: GPT4GEO: How a Language Model Sees the World's Geography
A collection of papers tackling automatic fact-checking (particularly of AI-generated content)
Can GPT-4 Perform Neural Architecture Search?
Data repository for my blog series on microprocessor trend data.
A repository containing interesting demos / failure cases of ChatGPT
Code for the paper: "SuS-X: Training-Free Name-Only Transfer of Vision-Language Models" [ICCV'23]
Crosslingual Generalization through Multitask Finetuning
[NeurIPS 2022 Spotlight] RLIP: Relational Language-Image Pre-training and a series of other methods to solve HOI detection and Scene Graph Generation.
[CVPRW'23] The official PyTorch implementation of NamedMask