Code for the paper "VinePPO: Unlocking RL Potential For LLM Reasoning Through Refined Credit Assignment"

⏩ Continue is the leading open-source AI code assistant. You can connect any models and any context to build custom autocomplete and chat experiences inside VS Code and JetBrains

Learning Formal Mathematics from Intrinsic Motivation

Offline partial evaluation system for Prolog written using the cogen approach

TxGNN: Zero-shot prediction of therapeutic use with geometric deep learning and clinician centered design

Framework and Language for Neurosymbolic Programming. Join Our Discord: https://discord.gg/RavzdND229

Probabilistic programming with HuggingFace language models

large population models

Proof assistant based on first-order logic and set theory

The Pie language, which accompanies The Little Typer by Friedman and Christiansen

⏰ PL conference deadline countdowns

Distilling Model Failures as Directions in Latent Space

Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at

Implementing a ChatGPT-like LLM in PyTorch from scratch, step by step

Staged compilation with dependent types

Prove theorems in Coq by extracting lemmas at failure points. Also contains tools for parsing Coq files and fine-tuning LLMs.

High accuracy RAG for answering questions from scientific documents with citations

AWM: Agent Workflow Memory

A formally verified bug finder

AI-Driven Research Assistant: An advanced multi-agent system for automating complex research processes. Leveraging LangChain, OpenAI GPT, and LangGraph, this tool streamlines hypothesis generation,…

3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith

Platform to experiment with the AI Software Engineer. Terminal based. NOTE: Very different from https://gptengineer.app

Langtrace 🔍 is an open-source, Open Telemetry based end-to-end observability tool for LLM applications, providing real-time tracing, evaluations and metrics for popular LLMs, LLM frameworks, vector…

The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery 🧑‍🔬

[SIGGRAPH Asia 2024, Journal Track] ToonCrafter: Generative Cartoon Interpolation

maximal update parametrization (µP)

Karabiner-Elements is a powerful utility for keyboard customization on macOS Sierra (10.12) or later.

RAGFlow is an open-source RAG (Retrieval-Augmented Generation) engine based on deep document understanding.

Common Lisp port of Doug Lenat's EURISKO

aider is AI pair programming in your terminal