|
|
|
|
|
|
by uoaei
165 days ago
|
|
|
You seem to be openly contradicting your company's PR and language. Your description very clearly describes the "AI" as a tool to translate relatively informal specifications into formal proof logic, but does not itself do the proving. |
|
|