Software Evolver · Teknolohiyang patent-pending
Mga compact na program, awtomatikong natutuklasan.
Lisensiyahan ang aming patent-pending na Software Evolver. Tinutukoy mo ang target gamit ang mga test case at isang score; naghahanap ang Software Evolver sa milyun-milyong kandidatong program sa bilis na hanggang 26.8 bilyong ebalwasyon bawat segundo at nagbabalik ng mga compact at eksaktong program para sa SFA Non-Von-Neumann Architecture.
Ilarawan ang layunin. Tanggapin ang program.
Itakda ang target bilang mga test case at isang score. Hinahanap ng Software Evolver ang maliliit na executable na program na tumutugon dito at ibinabalik ang pinakamahuhusay na program na natagpuan.
Hanggang 26.8 bilyong ebalwasyon bawat segundo
Sinukat sa isang dokumentadong benchmark target sa isang AMD EPYC 9455 processor. Ang isang ebalwasyon ay isang kandidatong program na pinatakbo sa isang test case; ang bilang ay produkto ng mga henerasyon bawat segundo, mga kandidato bawat henerasyon, at mga test case bawat target. Tumatakbo rin ang Software Evolver sa mga NVIDIA GPU.
Maaaring ulitin at beripikado
Maaaring ulitin ang bawat run, at eksaktong sinusuri ang bawat ibinalik na program laban sa target nito.
Mga program, hindi mga opaque na weight
Ang mga resulta ay mga compact na program na maaaring basahin, pasimplehin, subukan, at i-deploy tulad ng anumang ibang code.
Eksaktong matematika rin
Sa parehong paghahanap, natutuklasan din ang eksaktong matematika at mga compact na batas: mga formula sa nasukat na data, mga identity, mga generating function, mga Boolean function, at mga geometric at combinatorial na konstruksiyon, saanman maaaring suriin nang eksakto ang isang kandidato. Ginamit namin ang Software Evolver sa pananaliksik sa likod ng aming mga papel sa matematika na inilathala sa Zenodo.
Nililisensiyahan kapag hiniling
Patent pending ang Software Evolver at available para sa paglilisensya kapag hiniling, bilang produkto para sa SFA Non-Von-Neumann Architecture. Ibinibigay sa ilalim ng NDA ang teknikal na materyal at impormasyon sa pag-file ng patent.
Talakayin ang paglilisensya ng Software Evolver
Ang nakasaad na bilis ng pagproseso ay isang dokumentadong resulta ng benchmark para sa isang tinukoy na target sa isang AMD EPYC 9455 processor; nakadepende ang bilis ng pagproseso sa laki ng program at sa mga test case. Ibinibigay sa ilalim ng NDA ang mga teknikal na detalye at impormasyon sa pag-file ng patent.