A LaTex paper template for security and machine learning conferences
☆24Jan 24, 2026Updated last month
Alternatives and similar repositories for diex
Users that are interested in diex are comparing it to the libraries listed below
Sorting:
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆25Mar 28, 2024Updated last year
- ☆11May 10, 2025Updated 9 months ago
- A supervised fine-tuning method for controllable reasoning length in large language models (一种通过有监督微调实现大语言模型思考长度可控的方法)☆10May 8, 2025Updated 9 months ago
- The official codes for our paper at COLING 2022: Semantic-Preserving Adversarial Code Comprehension☆12Oct 23, 2022Updated 3 years ago
- ☆13May 15, 2025Updated 9 months ago
- A-Soul-Data Json数据存放☆13Sep 17, 2022Updated 3 years ago
- Open-source repository for the ISSTA'23 paper "CONCORD: Clone-aware Contrastive Learning for Source Code"☆11Nov 10, 2023Updated 2 years ago
- ☆13May 19, 2024Updated last year
- [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation☆21Mar 26, 2025Updated 11 months ago
- code of paper "Defending Against Alignment-Breaking Attacks via Robustly Aligned LLM"☆14Nov 17, 2023Updated 2 years ago
- A Scenario Creator☆12Jun 12, 2024Updated last year
- System for verifying the correctness of generated Copilot programs☆17May 8, 2025Updated 9 months ago
- ☆16Mar 1, 2025Updated last year
- VQ-VAE implementation pytorch☆11Mar 15, 2023Updated 2 years ago
- ☆14May 7, 2024Updated last year
- An architecture independent binary analysis tool for fingerprinting functions through NLP☆15Feb 20, 2026Updated 2 weeks ago
- Deep Variational Information Bottleneck (DVIB) in PyTorch.☆10Apr 25, 2020Updated 5 years ago
- Monocular/stereo depth estimation with regression☆12May 16, 2019Updated 6 years ago
- ☆11May 3, 2016Updated 9 years ago
- Tim Button's Cambridge version of forallx☆15Sep 26, 2018Updated 7 years ago
- Repo for paper: Examining LLMs' Uncertainty Expression Towards Questions Outside Parametric Knowledge☆14Feb 20, 2024Updated 2 years ago
- CarpetFuzz's fuzzer component. Belongs to CarpetFuzz main repo.☆15Jun 29, 2024Updated last year
- ☆14May 31, 2021Updated 4 years ago
- Simple and ergonomic HTTP client for Haskell☆17Feb 21, 2026Updated last week
- A Knowledge Graph for Open Source Security Tools☆18Aug 15, 2023Updated 2 years ago
- For our ICSE21 paper "CURE: Code-Aware Neural Machine Translation for Automatic Program Repair" by Nan Jiang, Thibaud Lutellier, and Lin …☆57Dec 8, 2022Updated 3 years ago
- Improving Machine Translation Systems via Isotopic Replacement☆12Apr 14, 2023Updated 2 years ago
- Continual learning layer for coding agents☆51Updated this week
- ☆12Nov 19, 2022Updated 3 years ago
- ☆11Mar 6, 2022Updated 4 years ago
- Artifact of a paper “Fonte: Finding Bug Inducing Commits From Failures” (ICSE'23)☆13Mar 13, 2024Updated last year
- FlowNet 2.0: Evolution of Optical Flow Estimation with Deep Networks☆12May 24, 2017Updated 8 years ago
- A collection of utilities for working with compiled Python bytecode.☆26Jul 31, 2024Updated last year
- The LLVM Symbolic Simulator, part of SAW.☆22Jul 17, 2020Updated 5 years ago
- ☆14Jul 13, 2022Updated 3 years ago
- mini tool for drawing a neural network graph.☆16Mar 21, 2016Updated 9 years ago
- Code for TACL 2020 paper "An Empirical Study on Robustness to Spurious Correlations using Pre-trained Language Models"☆14Jul 31, 2020Updated 5 years ago
- ☆13May 26, 2022Updated 3 years ago
- Talking about classical logic and abstract algebra in Haskell☆16Feb 12, 2021Updated 5 years ago