Closed ngeiswei closed 2 years ago
Complete the proof that the descent algorithm descends + a number of intermediary proofs on intermediary algorithms creating a sequence of incrementally more difficult proofs.
Even though the journey was quite tortuous, the final proof is extremely simple and elegant. See https://github.com/singnet/ai-dsl/blob/master/experimental/ai-algorithms/descent/README.md for more information.
Complete the proof that the descent algorithm descends + a number of intermediary proofs on intermediary algorithms creating a sequence of incrementally more difficult proofs.
Even though the journey was quite tortuous, the final proof is extremely simple and elegant. See https://github.com/singnet/ai-dsl/blob/master/experimental/ai-algorithms/descent/README.md for more information.