Lists (3)
Stars
An external lean checker with a proof of consistency
Data-engineering benchmark for coding agents (DuckDB + Snowflake dbt tasks).
📐 Just-in-time logic enforcement for network data generation with LLMs
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
Build an agent harness and control it end-to-end. Open-source SDK for production AI agents in Python & TypeScript - any model, any cloud.
A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
Programmer's guide about how to cook at home.
A high-performance distributed file system designed to address the challenges of AI training and inference workloads.