Neural models are capable of translating informal natural language specifications into formal proofs in systems like Lean and Isabelle and can repair incomplete or erroneous proof sketches incrementally.

Authors

• Person: Not available Organization: Springer
  A Comprehensive Review of Neuro-symbolic AI for Robustness ...

Sources

• A Comprehensive Review of Neuro-symbolic AI for Robustness ... link.springer.com Springer via serper

Referenced by nodes (1)

• neural network models concept