ThetaEvolve: Test-time Learning on Open Problems, enabling RL training on AlphaEvolve/OpenEvolve and emphasizing scaling test-time compute
☆162Feb 27, 2026Updated 3 months ago
Alternatives and similar repositories for ThetaEvolve
Users that are interested in ThetaEvolve are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆28Apr 7, 2026Updated 2 months ago
- The official repository of ALE-Bench☆186Jun 4, 2026Updated 2 weeks ago
- ☆46Sep 27, 2025Updated 8 months ago
- [AAAI'25] CharacterBench: Benchmarking Character Customization of Large Language Models☆23Aug 1, 2025Updated 10 months ago
- Multi-Agent Verification: Scaling Test-Time Compute with Multiple Verifiers☆31Mar 1, 2025Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- AI-Driven Research Systems (ADRS)☆143Dec 17, 2025Updated 6 months ago
- AlgoTune is a NeurIPS 2025 benchmark made up of 154 math, physics, and computer science problems. The goal is write code that solves each…☆104Mar 12, 2026Updated 3 months ago
- Reproduction of the complete process of DeepSeek-R1 on small-scale models, including Pre-training, SFT, and RL.☆29Mar 11, 2025Updated last year
- Code for "Echo Chamber: RL Post-training Amplifies Behaviors Learned in Pretraining"☆28Oct 14, 2025Updated 8 months ago
- This is the oficial repository for "Safer-Instruct: Aligning Language Models with Automated Preference Data"☆17Feb 22, 2024Updated 2 years ago
- [ICLR26] AI-based scaling law discovery☆30Jan 30, 2026Updated 4 months ago
- Autocomp: Optimize any AI kernel, anywhere.☆136Updated this week
- Bespoke OLAP: Synthesizing Workload-Specific One-size-fits-one Database Engines☆45Apr 30, 2026Updated last month
- [ICML 2026] InnoEval: On Research Idea Evaluation as a Knowledge-Grounded, Multi-Perspective Reasoning Problem☆24Apr 7, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- AI-Driven Scientific and Algorithmic Discovery☆553Updated this week
- Implementation of "ACL'24: When Do LLMs Need Retrieval Augmentation? Mitigating LLMs’ Overconfidence Helps Retrieval Augmentation"☆25Jul 19, 2024Updated last year
- ☆13Apr 9, 2025Updated last year
- FeatureAlignment = Alignment + Mechanistic Interpretability☆35Mar 8, 2025Updated last year
- [ESEC/FSE'23] Hue: A User-Adaptive Parser for Hybrid Logs☆10Aug 24, 2023Updated 2 years ago
- A toolkit for testing and improving named entity recognition [ESEC/FSE'23]☆11Aug 31, 2023Updated 2 years ago
- Merging, linking and placing compounds by stitching bound compounds together like a reanimated corpse☆12Feb 22, 2024Updated 2 years ago
- [ICLR 26] The official code repository for the paper "Mirage or Method? How Model–Task Alignment Induces Divergent RL Conclusions".☆17Feb 9, 2026Updated 4 months ago
- Benchmarking Optimizers for LLM Pretraining☆60May 3, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- My Implementation of Q-Sparse: All Large Language Models can be Fully Sparsely-Activated☆37Aug 14, 2024Updated last year
- ☆100Mar 18, 2026Updated 3 months ago
- The repo of "BugLens"☆41Nov 12, 2025Updated 7 months ago
- [NeurIPS 2024] Can LLMs Learn by Teaching for Better Reasoning? A Preliminary Study☆59Nov 24, 2024Updated last year
- Adaptive Subgoal Search☆20Apr 3, 2023Updated 3 years ago
- [COLM 2025] Official code for "When To Solve, When To Verify: Compute-Optimal Problem Solving and Generative Verification for LLM Reasoni…☆15Oct 31, 2025Updated 7 months ago
- 10606 Fall 2023☆12Oct 13, 2023Updated 2 years ago
- Ludic – an LLM-RL library for the era of experience☆64Jan 9, 2026Updated 5 months ago
- 南京大学小百合BBS部分数据归档（截至2020年7月初），来源网址：http://bbs.nju.edu.cn/☆18Nov 2, 2020Updated 5 years ago
- 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.
- ☆42Mar 28, 2024Updated 2 years ago
- ☆33Mar 17, 2026Updated 3 months ago
- [ICLR 2026] SR-Scientist: Scientific Equation Discovery With Agentic AI☆48Jan 27, 2026Updated 4 months ago
- Initial commit☆13Aug 14, 2023Updated 2 years ago
- ☆13Dec 12, 2025Updated 6 months ago
- ☆16May 15, 2025Updated last year
- The first large scale formally verified reasoning dataset for Verilog☆21May 16, 2025Updated last year