[NeurIPS 2024] Evaluation harness for SWT-Bench, a benchmark for evaluating LLM repository-level test-generation

A trace analysis tool for AI agents.

QodoAI Cover-Agent: An AI-Powered Tool for Automated Test Generation and Code Coverage Enhancement! 💻🤖🧪🐞

The easiest, and fastest way to run AI-generated Python code safely

Devika is an Agentic AI Software Engineer that can understand high-level human instructions, break them down into steps, research relevant information, and write code to achieve the given objective…

[ICLR 2024] SWE-bench: Can Language Models Resolve Real-world Github Issues?

Primary Kite repo — private bits replaced with XXXXXXX

Labels and other data for the paper "Are we done with ImageNet?"

Monotone operator equilibrium networks

VNN Neural Network Verification Competition 2021

The Udacity open source self-driving car project

SRI Group Website