Skip to content

Add AlphaEvolve B.1. math problem - First order autocorrelation inequality#75

Open
vicruz99 wants to merge 110 commits intoSakanaAI:mainfrom
vicruz99:shinka/example/alpha_evolve_math_problems/first_autocorr_ineq
Open

Add AlphaEvolve B.1. math problem - First order autocorrelation inequality#75
vicruz99 wants to merge 110 commits intoSakanaAI:mainfrom
vicruz99:shinka/example/alpha_evolve_math_problems/first_autocorr_ineq

Conversation

@vicruz99
Copy link
Contributor

This PR contains an implementation of the problem detailed in Annex B.1 of the AlphaEvolve paper.

Because the original AlphaEvolve codebase is not publicly available, this implementation was adapted from open-source implementations to work within ShinkaEvolve.
All credits go to the authors of the original code. The files in this repository were adapted for ShinkaEvolve from the following sources:

Verification Code: Adapted from the Test-time-discover repository [2].
Initial Programs: Two variations are included, alongside their respective configuration files.
Variation 1: Sourced from Test-time-discover [2] repository.
Variation 2: Sourced from OpenEvolve (originally implemented by Codeevolve). See the source file and algorithmicsuperintelligence/openevolve#302.
Two initial programs were included to be evolved.
I tested these examples with Shinka using GPT-oss-120b in a medium buget. The results didn't surpass SOTA, but the tests weren't extensive.

A README is included with more details on these tests and on how to use this example.

I am planning on adding more examples, using a similar structure.

RobertTLange and others added 30 commits September 25, 2025 06:38
fix: Fix database summary when patch_name metadata is missing
Fix packaging so pip install ships full shinka module tree
fix `apply_full.py` when the patch has incomplete markers
Doc explaining how to add suport for a local LLM and embedding model
docs: change repo name on the onboarding doc
add google gemini embeding model
Enhance docs, robustify wrap_eval, Visualization w/o API key
RobertTLange and others added 27 commits February 16, 2026 15:41
Public migrate: async evolution stack + tooling cleanup
…dded variant for open_evolve implementation and test_time_discover implementation
…ms for first autocorrelation inequality problem to the appropiate folders
feat: add wrap_eval multiprocessing and Julia evolution example
…shinka/example/alpha_evolve_math_problems/first_autocorr_ineq
@vicruz99 vicruz99 marked this pull request as ready for review February 17, 2026 15:54
@vicruz99
Copy link
Contributor Author

I am not sure why Claude Code Review is failing...

Error: Action failed with error: Could not fetch an OIDC token. Did you remember to add id-token: write to your workflow permissions?
Error: Process completed with exit code 1.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.