Pinned Loading
Repositories
Showing 10 of 29 repositories
- alpharewrite Public
Rewriter for Benchmark-F, transform Haskell functions into alpha-equiv form with no natural language!
- SPAT Public Forked from Santiago-Yu/SPAT
Perform semantically-equivalent transformations on Java code
- UniTSyn Public
[ISSTA'24] A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing
-
- ai-agent-security Public
[RAIE'25] This repository contains source code for the demos and attacks we present in our paper Security of AI Agents.
Top languages
Loading…
Most used topics
Loading…