Lists (3)
Stars
Code and model for Curriculum Proof Repair with Learned Counterexamples
Two-layer graph representation of LLM-agent runs (execution and dependency)
Learn Code Transformation for Symbolic Execution
Agentic predicate synthesis for directed fuzzing
A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
A curated list of papers, theses, datasets, and tools related to the application of Machine Learning for Software Engineering
Releasing code for "ReCode: Robustness Evaluation of Code Generation Models"
[NeurIPS 2023] Tree of Thoughts: Deliberate Problem Solving with Large Language Models
A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).
ManyTypes4Py: A benchmark Python dataset for machine learning-based type inference
A static analysis library for computing graph representations of Python programs suitable for use with graph neural networks.
The FLARE team's open-source extension to add Python 3 scripting to Ghidra.
Implementation of CCS'2022 paper "SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embeddings"