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.