Proof-Carrying Evolution: Black-Box Search, White-Box Flight
Proof-Carrying Evolution: Black-Box Search, White-Box Flight
This research investigates the feasibility of using language models to design controllers whose behavior can be formally verified.
The study evaluates whether large language models can assist in designing controllers with formally verified certificates for specific control tasks, comparing their performance against classical search and synthesis methods under defined mathematical constraints.
Source: arXiv Robotics — research abstracts · Read original article ↗
Loading article text…
What the source reports
Publisher-reported claims, with original evidence. These results have not been independently verified by RoboSignal.
- paper: not_reported
Source excerpts and review record
Automatically extracted; no manual editorial approval recorded.
arXiv:2610.42043v1 Announce Type: new Abstract: We study whether a language model can help design controllers whose behavior can be formally checked. In proof-carrying evolution (PCE), a search proposes controllers together with their certificates. Their mathematical forms are fixed; a proposer chooses their numerical parameters together. Certificate checks guide selection, and only a certified candidate can be retur
Open source S2
Source：arXiv Robotics — research abstracts · arxiv.org