Lists (4)
Stars
LeanInteract: A Python Interface for Lean 4
StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion
Solving Inequality Proofs with Large Language Models.
An open-source AI agent that brings the power of Gemini directly into your terminal.
🚀 The fast, Pythonic way to build MCP servers and clients
Context7 MCP Server -- Up-to-date code documentation for LLMs and AI code editors
A Machine-to-Machine Interaction System for Lean 4.
A search engine for Lean 4 declarations
The official Python SDK for Model Context Protocol servers and clients
The simplest, fastest repository for training/finetuning medium-sized GPTs.
Neural theorem proving toolkit: data extraction tools for Lean 4
⚡️SwanLab - an open-source, modern-design AI training tracking and visualization tool. Supports Cloud / Self-hosted use. Integrated with PyTorch / Transformers / verl / LLaMA Factory / ms-swift / U…
Official Implementation for the paper "d1: Scaling Reasoning in Diffusion Large Language Models via Reinforcement Learning"
Robust recipes to align language models with human and AI preferences
Everything about the SmolLM and SmolVLM family of models
[ICLR 2025 Oral] Block Diffusion: Interpolating Between Autoregressive and Diffusion Language Models
[ICLR2025] DiffuGPT and DiffuLLaMA: Scaling Diffusion Language Models via Adaptation from Autoregressive Models
Official Code for Paper "Think While You Generate: Discrete Diffusion with Planned Denoising" [ICLR 2025]
Official PyTorch implementation for "Large Language Diffusion Models"
A comprehensive platform for managing Agent applications, helping small teams and individual users to quickly build **shared Agent applications** and provide cloud services for Agent applications, …
A simple REPL for Lean 4, returning information about errors and sorries.
Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries