Software Evolver · Patentsökt teknik
Kompakta program, hittade automatiskt.
Licensiera vår patentsökta Software Evolver. Du definierar målet med testfall och en poängsättning; Software Evolver söker igenom miljontals kandidatprogram med upp till 26.8 miljarder utvärderingar per sekund och returnerar kompakta, exakta program för SFA Non-Von-Neumann Architecture.
Beskriv målet. Få programmet.
Definiera målet som testfall och en poängsättning. Software Evolver söker efter små körbara program som uppfyller det och returnerar de bästa program som hittats.
Upp till 26.8 miljarder utvärderingar per sekund
Uppmätt på ett dokumenterat benchmarkmål på en AMD EPYC 9455-processor. En utvärdering är ett kandidatprogram som körs på ett testfall; värdet är produkten av generationer per sekund, kandidater per generation och testfall per mål. Software Evolver körs även på NVIDIA-GPU:er.
Reproducerbart och verifierat
Varje körning är reproducerbar, och varje returnerat program kontrolleras exakt mot sitt mål.
Program, inte ogenomskinliga vikter
Resultaten är kompakta program som kan läsas, förenklas, testas och driftsättas som vilken annan kod som helst.
Även exakt matematik
Samma sökning hittar även exakt matematik och kompakta lagar: formler i mätdata, identiteter, genererande funktioner, booleska funktioner samt geometriska och kombinatoriska konstruktioner, överallt där en kandidat kan kontrolleras exakt. Vi har använt Software Evolver i forskningen bakom våra matematiska artiklar som publicerats på Zenodo.
Licensiering på begäran
Software Evolver är patentsökt och kan licensieras på begäran, som en produkt för SFA Non-Von-Neumann Architecture. Tekniskt material och ansökningsuppgifter tillhandahålls under NDA.
Diskutera licensiering av Software Evolver
Genomströmningsvärdet är ett dokumenterat benchmarkresultat för ett definierat mål på en AMD EPYC 9455-processor; genomströmningen beror på programstorlek och testfall. Tekniska detaljer och ansökningsuppgifter tillhandahålls under NDA.