Verifiable logical reasoning using GenAI

A system comprising:

• one or more data processors;
• and
• a non-transitory computer readable storage medium containing instructions which, when executed on the one or more data processors, cause the one or more data processors to perform a set of operations including:
• accessing a prompt that is associated with a logical reasoning problem;
• generating one or more logical steps of a logical response based on the prompt by using a generative artificial intelligence (GenAI) model;
• for each of the one or more logical steps of the logical response:
• querying one or more theorem solvers using the logical response and the logical reasoning problem, wherein the one or more theorem solvers include proof checkers and theorem provers:
• processing, using parallel execution of the proof checkers and the theorem provers, the one or more logical steps of the logical response to verify axioms or rules associated with each logical step of the one or more logical steps:
• receiving, in response to the query, one or more feedback from the one or more theorem solvers corresponding to the logical response of the logical reasoning problem;
• and
• modifying, in response to the one or more feedback, the logical response by regenerating the one or more logical steps;
• determining that the logical response is complete and verified from the one or more theorem solvers;
• and
• outputting, in response to determining that the logical response is complete and verified, the logical response on a user interface.

A non-transitory machine-readable storage medium storing a computer-program product tangibly including instructions configured to cause one or more data processors to:

• access, a prompt that is associated with a logical reasoning problem;
• generate, one or more logical steps of a logical response based on the prompt by using a generative artificial intelligence (GenAI) model;
• for each of the one or more logical steps of the logical response:
• querying, one or more theorem solvers using the logical response and the logical reasoning problem;
• wherein the one or more theorem solvers include proof checkers and theorem provers;
• processing, using parallel execution of the proof checkers and the theorem provers, the one or more logical steps of the logical response to verify axioms or rules associated with each logical step of the one or more logical steps;
• receiving, in response to the query, one or more feedback from the one or more theorem solvers corresponding to the logical response of the logical reasoning problem;
• and
• modifying, in response to the one or more feedback, the logical response by regenerating the one or more logical steps:
• determine that the logical response is complete and verified from the one or more theorem solvers;
• and
• output, in response to determining that the logical response is complete and verified, the logical response on a user interface.