On Saturday, January 20, 2024 at 2:01:32 PM UTC-6 Edward K. Ream wrote:
Here is the link <https://www.nature.com/articles/s41586-023-06747-5>. >From Figure 3: a, We first sample a large set of random theorem premises. b, We use the symbolic deduction engine to obtain a deduction closure. *This returns a directed acyclic graph of statements.* For each node in the graph, we perform traceback to find its minimal set of necessary premise and dependency deductions. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/97ad8b44-d22c-47f1-a252-4f4815a03b96n%40googlegroups.com.
