The repository of data and codes for SynTeR, an LLM-based approach to repair obsolete test cases caused by syntactic BCs.
☆16Aug 25, 2024Updated 2 years ago
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:
- Bit-bLAsting solving Non-linear integer constraints.☆22Jul 3, 2025Updated last year
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆34Mar 11, 2025Updated last year
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆41May 14, 2024Updated 2 years ago
- ☆13Nov 20, 2024Updated last year
- Android application for land surveyors (mirror repository)☆21May 4, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆19Mar 29, 2023Updated 3 years ago
- Benchmark apps for static analyzing inter-component data leakage problem of Android apps.☆19Jun 20, 2017Updated 9 years ago
- A Novel Benchmark evaluating the Deep Capability of Vulnerability Detection with Large Language Models☆38Apr 25, 2025Updated last year
- Code for the paper: CodeTree: Agent-guided Tree Search for Code Generation with Large Language Models☆38Jun 2, 2026Updated 3 months ago
- ☆27Sep 23, 2024Updated last year
- HyPe: Better Pre-trained Language Model Fine-tuning with Hidden Representation Perturbation [ACL 2023]☆14Jul 11, 2023Updated 3 years ago
- sketching algorithms implemented in chapel and python☆10Jun 8, 2017Updated 9 years ago
- A Python script to delete all comment and submission data from a given Reddit account.☆11Jan 5, 2021Updated 5 years ago
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆46Jan 26, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆13Aug 26, 2026Updated 3 weeks 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
- IMDB API for Python☆18Mar 10, 2024Updated 2 years ago
- BiSUNA framework specialized to compile for the Xilinx Alveo U50☆13Dec 3, 2020Updated 5 years ago
- ☆24Dec 11, 2024Updated last year
- [inactive] MoMA: Multimodal LLM Adapter for Fast Personalized Image Generation☆13Apr 22, 2024Updated 2 years ago
- [ICML 2024] Fine-Grained Classes and How to Find Them☆14Jun 21, 2024Updated 2 years ago
- Collection of Machine Learning examples using MLEK CMSIS-pack.☆11Jul 14, 2026Updated 2 months 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.
- Steering Vector Repo from "Extracting Latent Steering Vectors from Pretrained Language Models" - ACL2022 Findings☆11Mar 14, 2022Updated 4 years ago
- MOTIF: Modular Thinking via Reinforcement Fine-tuning in LLMs☆17Jul 6, 2025Updated last year
- Basic assembler for the basic CPU at https://embeddedmicro.com/tutorials/lucid/basic-cpu☆14Aug 19, 2015Updated 11 years ago
- Web-based tool to convert model into MyriadX blob☆16Dec 9, 2025Updated 9 months ago
- Code for 'Answer Matching Outperforms Multiple Choice for Language Model Evaluation' paper☆19Jul 4, 2025Updated last year
- ☆18Oct 14, 2021Updated 4 years ago
- Pytorch implementation of Light FlowNet☆15Jun 22, 2019Updated 7 years ago
- ☆17Feb 4, 2026Updated 7 months ago
- A Python package designed to simplify the process of creating and managing function calls to OpenAI's API, as well as models using LiteLL…☆17May 25, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆14Oct 8, 2016Updated 9 years ago
- Real-time Keypoint Tracker using full/exhaustive-search motion estimation. Works with both live/camera streams and recorded video. Wri…☆21May 14, 2016Updated 10 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 2 years ago
- Predict and search framework for MilP☆71Nov 20, 2022Updated 3 years ago
- ☆10May 24, 2022Updated 4 years ago
- Django Agricultural IoT☆16Jan 14, 2019Updated 7 years ago
- The official implementation for "Mitigating Overthinking in Large Reasoning Models via Manifold Steering"☆15May 29, 2025Updated last year