claim
Amazon is advancing research in neuro-symbolic AI through the development of autoformalization technologies—which convert natural language into formal logic—and by collaborating with academic partners to establish new benchmarks for measuring reasoning progress.

Authors

Sources

Referenced by nodes (2)