Add section on symbolic regression to demo#134

AdrienTaylor merged 1 commit intodemo/proof_extractionPerformanceEstimation/PEPit:demo/proof_extractionfrom

demo/proof_extraction-pysrPerformanceEstimation/PEPit:demo/proof_extraction-pysrCopy head branch name to clipboard