Luminance Applies Formal Verification to Anthropic’s S-1, Showing How Companies Can Stress-Test Contracts for Hidden Risks

LONDON--(BUSINESS WIRE)-- #AI--Luminance, the global leader in Contract Intelligence for the enterprise, today announced the beta release of Formal Verification, a new capability that uses mathematical proof to enable enterprises to stress-test their contracts for hidden risks. Developed out of Luminance’s Cambridge R&D Lab, the approach translates relevant contract provisions into formal rules a theorem prover can check. The research was inspired by advances in AI-assisted mathematics, including

The post Luminance Applies Formal Verification to Anthropic’s S-1, Showing How Companies Can Stress-Test Contracts for Hidden Risks appeared first on BusinessWire.

For more information, please visit http://www.businesswire.com/news/home/20261111808187/en/Luminance-Appl…