Lists (3)
Stars
Perplexity open source garden for inference technology
Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Submit issues and PRs here.
ToolBench, an evaluation suite for LLM tool manipulation capabilities.
DAMO-ConvAI: The official repository which contains the codebase for Alibaba DAMO Conversational AI.
[ICLR'24 spotlight] An open platform for training, serving, and evaluating large language model for tool learning.
[ICLR'24 Spotlight] A language model (LM)-based emulation framework for identifying the risks of LM agents with tool use
[NeurIPS'24] RedCode: Risky Code Execution and Generation Benchmark for Code Agents
A verifier for automated and interactive proofs about transition systems.
UCLID5: formal modeling, verification, and synthesis of computational systems
A model-driven approach to building AI agents in just a few lines of code.
A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).
A high-performance distributed file system designed to address the challenges of AI training and inference workloads.
a language for fast, portable data-parallel computation
A statically-typed, functional typesetting system
Formalization of Mathematical Logic
Visual Studio Code extension for the Lean 4 proof assistant
Automatically synthesizing invariants of distributed systems
Duo is an automated tool to formally verify distributed protocols (e.g., Paxos) by inferring inductive invariants.
The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verification of Distributed Protocols"
An animation engine inspired from manim and three.js