#auto-formalization

1 article tagged with "auto-formalization"

Strategic angle: A new approach to improve the reliability of translating natural-language reasoning into executable programs.