🏡 GitHub Pages

This dataset code generates mathematical question and answer pairs, from a range of question types at roughly school-level difficulty.

Stanford NLP Python library for understanding and improving PyTorch models via interventions

open source interpretability platform 🧠

Code for Paper Fact Recall, Heuristics or Pure Guesswork? Precise Interpretations of Language Models for Fact Completion

A framework for few-shot evaluation of language models.

Practical multithreading tutorials. Languages supported: C++, Java, C#, Python, Javascript/Nodejs.

Python Multiprocessing Jump-Start

Python Asyncio Jump-Start

Python web crawler in multithreaded, multiprocessing and asyncio implementations

Arena-Hard-Auto: An automatic LLM benchmark.

Python SDK, Proxy Server (LLM Gateway) to call 100+ LLM APIs in OpenAI format - [Bedrock, Azure, OpenAI, VertexAI, Cohere, Anthropic, Sagemaker, HuggingFace, Replicate, Groq]

The AI Toolkit for TypeScript. From the creators of Next.js, the AI SDK is a free open-source library for building AI-powered applications and agents

Everything you need to build state-of-the-art foundation models, end-to-end.

Dify is an open-source LLM app development platform. Dify's intuitive interface combines AI workflow, RAG pipeline, agent capabilities, model management, observability features and more, letting yo…

Learning Formal Mathematics from Intrinsic Motivation

An environment for learning formal mathematical reasoning from scratch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Chat with your documents on your local device using GPT models. No data leaves your device and 100% private.

Certified Reasoning with Language Models

Experimental agent designed to take arbitrary inputs and prioritize between them in a live context