3 ms·

This is done! The existing correct algorithm is called the oracle and it’s used to validate the generated algorithm. There’s some cool work on using neural pro

by exdsq 6y ago

This is done! The existing correct algorithm is called the oracle and it’s used to validate the generated algorithm. There’s some cool work on using neural program induction in compilers to try generate faster implementations based off the ‘oracle’ program that’s being compiled.

algo_trader 6y ago
> neural program induction in compilers to try generate faster implementations Can u provide more details? I am familiar with garden-variety ML-optimization-of-combinatorical-space in compilers. How would u even "measure" the expected performance unless these are gradual greedy changes