BendSR

An experimental symbolic-regression implementation in Bend 2 that searches for mathematical expressions fitting a dataset. It represents candidate formulas as expression trees and evolves them through fitness evaluation, tournament selection, crossover, and mutation.

The repository includes Bend source, law and proof modules, example datasets, and a Python helper for converting CSV, XLSX, or Parquet inputs into Bend data structures. Shared on r/bendlang by u/cognitivemachine_. This is a research project; its performance and proof coverage have not been independently benchmarked by this directory.