Software Evolver · 特許出願中技術
コンパクトなプログラムを、自動で発見。
特許出願中の Software Evolver をライセンス提供します。テストケースとスコアで目標を定義すると、Software Evolver が毎秒最大 26.8 十億回の評価で数百万の候補プログラムを探索し、SFA Non-Von-Neumann Architecture 向けのコンパクトで正確なプログラムを返します。
目標を記述する。プログラムを受け取る。
目標をテストケースとスコアとして定義してください。Software Evolver はそれを満たす小さな実行可能プログラムを探索し、見つかった最良のプログラムを返します。
毎秒最大 26.8 十億回の評価
一台の AMD EPYC 9455 プロセッサ上で、文書化されたベンチマークターゲットについて測定しました。一回の評価は、一つの候補プログラムを一つのテストケースで実行することです。この数値は、毎秒の世代数、世代あたりの候補数、ターゲットあたりのテストケース数を掛け合わせたものです。Software Evolver は NVIDIA GPU 上でも動作します。
再現可能かつ検証済み
すべての実行は再現可能で、返されるすべてのプログラムはそのターゲットに対して正確にチェックされます。
不透明な重みではなく、プログラム
結果はコンパクトなプログラムであり、他のあらゆるコードと同様に読み、簡略化し、テストし、デプロイできます。
厳密な数学にも対応
同じ探索は、候補を正確に検証できるあらゆる場面で、厳密な数学的結果とコンパクトな法則も見つけ出します。すなわち、測定データ内の数式、恒等式、母関数、ブール関数、そして幾何学的および組合せ的な構成です。当社は、Zenodo で公開している数学論文の基礎となった研究で Software Evolver を使用しました。
ご要望に応じてライセンス提供
Software Evolver は特許出願中で、SFA Non-Von-Neumann Architecture 向けの製品として、ご要望に応じてライセンス提供が可能です。技術資料と出願情報は NDA に基づき提供します。
Software Evolver のライセンスを相談
スループット値は、一台の AMD EPYC 9455 プロセッサ上で定義されたターゲットについて文書化されたベンチマーク結果です。スループットはプログラムサイズとテストケースに依存します。技術的な詳細と出願情報は NDA に基づき提供します。