The repository of data and codes for SynTeR, an LLM-based approach to repair obsolete test cases caused by syntactic BCs.
☆15Aug 25, 2024Updated last year
Alternatives and similar repositories for SynTeR
Users that are interested in SynTeR are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆40May 14, 2024Updated 2 years ago
- VisionDroid☆22Apr 2, 2024Updated 2 years ago
- ☆13Nov 20, 2024Updated last year
- [ICSE '25] LLM Based Input Space Partitioning Testing for Library APIs☆13Jul 27, 2025Updated 11 months ago
- ☆21Jun 29, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A fuzzer for SMT solvers☆21May 8, 2026Updated 2 months ago
- Bachelor degree thesis LaTeX template of Xiamen University for self use. (厦门大学本科生毕业论文 / 设计 LaTeX 模板)☆33May 10, 2022Updated 4 years ago
- The survey on diffusion-based graph genrative methods☆22Dec 30, 2024Updated last year
- DependEval: a hierarchical benchmark for evaluating LLMs on repository-level code understanding across 8 programming languages.☆16Jul 28, 2025Updated 11 months ago
- ☆27Sep 23, 2024Updated last year
- ☆28Nov 13, 2024Updated last year
- HyPe: Better Pre-trained Language Model Fine-tuning with Hidden Representation Perturbation [ACL 2023]☆14Jul 11, 2023Updated 3 years ago
- Implementation of Hyena Hierarchy in JAX☆10Apr 30, 2023Updated 3 years ago
- A Python script to delete all comment and submission data from a given Reddit account.☆11Jan 5, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆15Jul 23, 2025Updated 11 months ago
- ReSemAct: Advancing Fine-Grained Robotic Manipulation via Semantic Structuring and Affordance Refinement☆17Jan 5, 2026Updated 6 months ago
- Train pix2pix on Google Cloud TPUs (based on @affinelayer's implementation)☆16Oct 1, 2018Updated 7 years ago
- Never forget the resource that helps to close that sales call! Power a real-time speech-to-text agent with retrieval augmented generation…☆14Jan 23, 2024Updated 2 years ago
- This is a benchmark for evaluating the vulnerability discovery ability of automated approaches including Large Language Models (LLMs), de…☆80Nov 18, 2024Updated last year
- IMDB API for Python☆17Mar 10, 2024Updated 2 years ago
- MutAP: A prompt_based learning technique to automatically generate test cases with Large Language Model☆57Mar 7, 2025Updated last year
- U-2-NetのPythonでのONNX推論サンプル☆13Nov 29, 2021Updated 4 years ago
- BiSUNA framework specialized to compile for the Xilinx Alveo U50☆13Dec 3, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆24Dec 11, 2024Updated last year
- [inactive] MoMA: Multimodal LLM Adapter for Fast Personalized Image Generation☆13Apr 22, 2024Updated 2 years ago
- Collection of Machine Learning examples using MLEK CMSIS-pack.☆10Updated this week
- MOTIF: Modular Thinking via Reinforcement Fine-tuning in LLMs☆17Jul 6, 2025Updated last year
- A simple library for working with Hugging Face models.☆14Dec 30, 2024Updated last year
- Basic assembler for the basic CPU at https://embeddedmicro.com/tutorials/lucid/basic-cpu☆14Aug 19, 2015Updated 10 years ago
- The official repository for the paper "Statler: State-Maintaining Language Models for Embodied Reasoning"☆13Jun 10, 2024Updated 2 years ago
- Code for 'Answer Matching Outperforms Multiple Choice for Language Model Evaluation' paper☆18Jul 4, 2025Updated last year
- Repository for PrimeVul Vulnerability Detection Dataset☆257Sep 7, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆18Oct 14, 2021Updated 4 years ago
- Pytorch implementation of Light FlowNet☆15Jun 22, 2019Updated 7 years ago
- Seeing is Not Reasoning: MVPBench for Graph-based Evaluation of Multi-path Visual Physical CoT☆15Jul 30, 2025Updated 11 months ago
- ☆14Oct 8, 2016Updated 9 years ago
- The DL Streamer Pipeline Zoo is a catalog of optimized media and media analytics pipelines. It includes tools for downloading pipelines a…☆16Aug 20, 2024Updated last year
- Code and benchmark of the paper "MineAnyBuild: Benchmarking Spatial Planning for Open-world AI Agents" (NeurIPS D&B 2025)☆15Oct 13, 2025Updated 9 months ago
- ☆10May 24, 2022Updated 4 years ago