This is an official code for the paper: TestExplora: Benchmarking LLMs for Proactive Bug Discovery via Repository-Level Test Generation
☆16Mar 26, 2026Updated 6 months ago
Alternatives and similar repositories for TestExplora
Users that are interested in TestExplora are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation for "EpiCoder: Encompassing Diversity and Complexity in Code Generation" (ICML 2025)☆28May 16, 2025Updated last year
- X-Coder: Advancing Competitive Programming with Fully Synthetic Tasks, Solutions, and Tests☆64Feb 28, 2026Updated 7 months ago
- ☆44Jun 30, 2026Updated 3 months ago
- This is a PyTorch implementation of the paper "Jointly Optimized Global-Local Visual Localization of UAVs".☆36Nov 12, 2023Updated 2 years ago
- ☆17May 7, 2025Updated last year
- 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.
- 基于 LangGraph 的 AI 自动生成测试用例工具☆27Apr 1, 2026Updated 6 months ago
- [ACL 2024 Findings] CriticBench: Benchmarking LLMs for Critique-Correct Reasoning☆32Mar 5, 2024Updated 2 years ago
- Templates and examples for ACL and EMNLP conference posters.☆16Oct 5, 2024Updated 2 years ago
- ☆36Jan 20, 2026Updated 9 months ago
- A trie data structure implemented in OCaml☆10Feb 8, 2012Updated 14 years ago
- ☆29Sep 26, 2026Updated 3 weeks ago
- Agent skill (Claude Code / Codex) for condensing, typesetting and fact-checking a LaTeX paper to ICASSP's 4+1 page limit, verified by mea…☆19Sep 14, 2026Updated last month
- SWE-Flow: Synthesizing Software Engineering Data in a Test-Driven Manner☆40Jun 29, 2025Updated last year
- ☆39Jan 27, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆22Sep 25, 2026Updated 3 weeks ago
- Official Implementation for "Nearest Is Not Dearest: Towards Practical Defense against Quantization-conditioned Backdoor Attacks" (CVPR 2…☆12Aug 14, 2024Updated 2 years ago
- Code2Bench: Scaling Source and Rigor for Dynamic Benchmark Construction☆10Feb 6, 2026Updated 8 months ago
- ☆35Updated this week
- Algorithms for face super resolution implemented in Pytorch.☆13Feb 9, 2021Updated 5 years ago
- 2023年美赛成绩爬虫一键运行和可视化分析(数学建模，mathematical modeling,Crawler)☆20May 6, 2024Updated 2 years ago
- Source Code for Captionomaly: A Deep Learning Toolbox for Anomaly Captioning in Surveillance Videos☆13Jun 26, 2023Updated 3 years ago
- Lean 4 framework for reasoning about Triton-style kernels.☆29Oct 14, 2026Updated last week
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- TestGenEval A Real World Unit Test Generation and Test Completion Benchmark☆36Mar 12, 2026Updated 7 months ago
- Code for the "Long Context Needs Some R&R" paper.☆12Mar 11, 2024Updated 2 years ago
- SAT Competition 2024☆11Aug 28, 2024Updated 2 years ago
- GTA-Crime: Leveraging Synthetic Video and Feature-Level Domain Adaptation for Enhanced Fatal Violence Detection☆13Jun 6, 2026Updated 4 months ago
- EANN(Pytorch)☆10Mar 12, 2022Updated 4 years ago
- ☆11Mar 13, 2023Updated 3 years ago
- ☆12Dec 25, 2023Updated 2 years ago
- Pytorch implementation of WIPA: Super-resolution of very low-resolution face images with a Wavelet Integrated, Identity Preserving, Adver…☆11Jul 25, 2022Updated 4 years ago
- [NeurIPS 2024] Search for Efficient LLMs☆16Jan 16, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Mozi Lean Copilot VS Code Extension☆12Jan 7, 2026Updated 9 months ago
- implementation of dualformer☆25Mar 1, 2025Updated last year
- Sources of the EuroProofNet web site.☆13Sep 3, 2026Updated last month
- Interesting ATP Proofs☆13Sep 3, 2021Updated 5 years ago
- 名人人脸识别 (Celebrity Face Recognition)☆10Jun 8, 2024Updated 2 years ago
- Optimization Case Studies: Generic Time Scheduling Problem (GTSP), Resource-Constrained Project Scheduling Problem (RCPSP) with Pulse Var…☆11Nov 7, 2018Updated 7 years ago
- ☆28Apr 26, 2024Updated 2 years ago