Stars
A Framework for Reasoning about System Performance using Causal AI
Cyber Reasoning Systems for Bug-Finding and Patching in Open Source Software
TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)
Language models for Coq based on data collected from the coq lsp.
[EMNLP 2024] CodeJudge: Evaluating Code Generation with Large Language Models
Qodo-Cover: An AI-Powered Tool for Automated Test Generation and Code Coverage Enhancement! 💻🤖🧪🐞
A simuator for Patch Scheduling Algorithm for APR tools with our new Gresino.
Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown
A curated list of awesome responsible machine learning resources.
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.