This is an official code for the paper: TestExplora: Benchmarking LLMs for Proactive Bug Discovery via Repository-Level Test Generation
☆16Mar 26, 2026Updated 7 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)☆29May 16, 2025Updated last year
- ☆45Jun 30, 2026Updated 4 months ago
- mini-claude-code: A minimal, readable Python re-implementation of Claude Code☆10Mar 31, 2026Updated 7 months ago
- E2E-SWE Benchmarking LLMs on Building Working Codebases from Scratch☆12Oct 28, 2026Updated 2 weeks ago
- [ACL 2024 Findings] CriticBench: Benchmarking LLMs for Critique-Correct Reasoning☆32Mar 5, 2024Updated 2 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.
- Templates and examples for ACL and EMNLP conference posters.☆16Oct 5, 2024Updated 2 years ago
- A trie data structure implemented in OCaml☆10Feb 8, 2012Updated 14 years ago
- ☆36Jan 20, 2026Updated 9 months ago
- ☆29Nov 6, 2026Updated last week
- [ICML 2024]: Transformer Sub-Layers Deserve Differentiated Structured Compression for Large Language Models☆11May 19, 2024Updated 2 years ago
- SWE-Flow: Synthesizing Software Engineering Data in a Test-Driven Manner☆40Jun 29, 2025Updated last year
- Official code for "Query-Centric Distance Modulator for Few-shot Classification".☆10Oct 16, 2023Updated 3 years ago
- Code2Bench: Scaling Source and Rigor for Dynamic Benchmark Construction☆10Feb 6, 2026Updated 9 months ago
- Clinical decision support in hematological malignancies using a case-grounded AI agent☆15May 19, 2026Updated 5 months 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.
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 8 years ago
- Neuro-Symbolic RL agent plays MiniHack☆10Mar 30, 2026Updated 7 months ago
- SAT Competition 2024☆11Updated this week
- LLMs Get Lost in Evolving User Intent☆30Jul 24, 2026Updated 3 months ago
- Code for the "Long Context Needs Some R&R" paper.☆12Mar 11, 2024Updated 2 years ago
- Algorithms for face super resolution implemented in Pytorch.☆13Feb 9, 2021Updated 5 years ago
- Daily LLM inference optimization paper digest☆19Updated this week
- 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
- TestGenEval A Real World Unit Test Generation and Test Completion Benchmark☆37Mar 12, 2026Updated 8 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Project to formally verify SPQR using Lean☆12Updated this week
- Formal prime certificates in Lean 4☆13Updated this week
- [NeurIPS 2024] Search for Efficient LLMs☆16Jan 16, 2025Updated last year
- EANN(Pytorch)☆10Mar 12, 2022Updated 4 years ago
- Lean formalization of the smooth and topological Poincare conjectures following Morgan and Tian.☆15Oct 5, 2026Updated last month
- Code and data for paper "Large language models can rate news outlet credibility"☆13Aug 10, 2024Updated 2 years ago
- ☆39Jan 27, 2025Updated last year
- A unified framework for controllable caption generation across images, videos, and audio. Supports multi-modal inputs and customizable ca…☆55Jul 24, 2025Updated last year
- Interesting ATP Proofs☆13Sep 3, 2021Updated 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.
- [NeurIPS 2025@FoRLM] R1-Compress: Long Chain-of-Thought Compression via Chunk Compression and Search☆17Jan 24, 2026Updated 9 months ago
- implementation of dualformer☆25Mar 1, 2025Updated last year
- ☆10Apr 24, 2022Updated 4 years ago
- Connection provers in Rust☆14Mar 13, 2024Updated 2 years ago
- Source Code for Captionomaly: A Deep Learning Toolbox for Anomaly Captioning in Surveillance Videos☆13Jun 26, 2023Updated 3 years ago
- Render and run context-rich Lean 4 prompts in VS Code.☆11Aug 14, 2025Updated last year
- ACL 24: Grounding Language Model with Chunking-Free In-Context Retrieval☆13Aug 26, 2024Updated 2 years ago
Are these results useful?