PDECert Natural-Candidate Pilot Benchmark
ScientificML
A provenance-bearing benchmark for verifying symbolic candidate solutions to PDEs, containing 20 records with generator outputs, verification cases, and human annotations for assessing symbolic solver reliability.
See LICENSE file PDESymbolic SolvingBenchmark