DSPy: The framework for programming—not prompting—language models

Verdict is a library for scaling judge-time compute.

Catalog Of Math Problems Formalized In Lean

Formal to Formal Mathematics Benchmark

A List of Free and Open Source Hardware Verification Tools and Frameworks

Align your LM to express calibrated verbal statements of confidence in its long-form generations.

A Docker image running an NFSv4 server.

Exact OU processes with JAX

Beyond the Imitation Game collaborative benchmark for measuring and extrapolating the capabilities of language models

Video and image modeling in the continuous-time (CT) domain.

structured outputs for llms

Fuji is an AI agent that lives in your browser's sidepanel. You can now get tasks done online with a single command!

A library for advanced large language model reasoning

Uncertainty quantification with PyTorch

Prototype advanced LLM algorithms for reasoning and planning.

Python Fire is a library for automatically generating command line interfaces (CLIs) from absolutely any Python object.

Unsupervised text tokenizer for Neural Network-based text generation.

ThRust is a software framework for thermodynamic and probabilistic computing.

Structured Text Generation

Custom AI assistant platform to speed up your work.

Examples and guides for using the OpenAI API

Lectures on Stochastic Thermodynamics (Chem220b)

Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"

Train transformer language models with reinforcement learning.

LlamaIndex is the leading framework for building LLM-powered agents over your data.

🦜🔗 Build context-aware reasoning applications