[COLM-LLA 2026] The official implementation for paper "AdaExplore: Failure-Driven Adaptation and Diversity-Preserving Search for Efficient Kernel Generation"
☆23Aug 23, 2026Updated 2 months ago
Alternatives and similar repositories for AdaExplore
Users that are interested in AdaExplore are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025☆43Jan 18, 2026Updated 9 months ago
- Official code and dataset for our paper: RefineBench: Evaluating Refinement Capability of Language Models via Checklists☆16Dec 1, 2025Updated 10 months ago
- Vector Policy Optimization☆19Aug 25, 2026Updated last month
- [EMNLP 2025] The official implementation for paper "Agentic-R1: Distilled Dual-Strategy Reasoning"☆106Apr 21, 2026Updated 6 months ago
- ☆45Sep 19, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Interesting ATP Proofs☆13Sep 3, 2021Updated 5 years ago
- ImProver: Agent-Based Automated Proof Optimization☆44Apr 18, 2026Updated 6 months ago
- Repository for "Scaling Evaluation-time Compute with Reasoning Models as Process Evaluators"☆12Mar 25, 2025Updated last year
- ☆21Apr 3, 2026Updated 6 months ago
- [ICLR2026] The official repository for the CodeGym project: "Generalizable End-to-End Tool-Use RL with Synthetic CodeGym"☆41Oct 14, 2025Updated last year
- SPADE: Self-Play in Adaptive Synthetic Executable Environments☆123Aug 26, 2026Updated last month
- Benchmark and execution environment for evaluating LLM agents on end-to-end AI Research. [ICLR 2026]☆43May 31, 2026Updated 4 months ago
- 🏝️ Code for our paper: "Privasis: Synthesizing the Largest 'Public' Private Dataset from Scratch"☆16Jul 10, 2026Updated 3 months ago
- ☆47Aug 17, 2026Updated 2 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Training Proactive and Personalized LLM Agents☆115Jan 20, 2026Updated 9 months ago
- The Lean Theorem Proving Environment☆15May 7, 2023Updated 3 years ago
- ☆32Sep 4, 2025Updated last year
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/pln-experimental and https://github.com/trueagi-io/PLN]. Probabilisti…☆16Sep 20, 2025Updated last year
- ☆66May 26, 2026Updated 4 months ago
- ☆23Feb 27, 2025Updated last year
- Source code for our paper: "LoGU: Long-form Generation with Uncertainty Expressions".☆20May 27, 2025Updated last year
- AutoGEPA automates the tedious parts of setting up a DSPy optimization pipeline: converting raw data into dspy.Examples, generating a met…☆19Jul 4, 2026Updated 3 months ago
- Agent-assisted and full-agent reproducibility package for MLSys 2026 FlashInfer AI Kernel Generation Contest submissions: kernels, agent …☆24Jul 21, 2026Updated 3 months ago
- 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.
- ☆27Jun 22, 2026Updated 4 months ago
- ☆83Apr 26, 2026Updated 5 months ago
- A research framework for studying how multi-agent LLM teams complete software tasks given different team structures and sizes.☆16Apr 16, 2026Updated 6 months ago
- ☆16Nov 14, 2023Updated 2 years ago
- A Julia package for differentiating through expectations with Monte-Carlo estimates☆16Nov 25, 2024Updated last year
- Simple and efficient pytorch-native transformer training and inference (batched)☆78Apr 2, 2024Updated 2 years ago
- herdr-gamepad fork: full Xbox Series X|S support (hat-switch D-pad, triggers, Share) + a Claude Code supervisor layout☆10Sep 9, 2026Updated last month
- ☆22Mar 3, 2026Updated 7 months ago
- The official code repo of paper "Chasing the Tail: Effective Rubric-based Reward Modeling for Large Language Model Post-Training"☆32Feb 20, 2026Updated 8 months ago
- 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.
- [CVPR 2025 Oral]Infinity ∞ : Scaling Bitwise AutoRegressive Modeling for High-Resolution Image Synthesis☆14Dec 17, 2025Updated 10 months ago
- ☆23Jan 14, 2026Updated 9 months ago
- Rebasing graph networks paper☆12Oct 10, 2025Updated last year
- CMake module for building drivers with Windows Development Kit (WDK)☆10Jun 27, 2023Updated 3 years ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated last year
- Utilities for constructing a large dataset of LLVM IR☆25Jun 2, 2025Updated last year
- ☆17Mar 29, 2026Updated 6 months ago