FATE-X
PulseAugur coverage of FATE-X — every cluster mentioning FATE-X across labs, papers, and developer communities, ranked by signal.
-
MathForm framework scales mathematical autoformalization with retrieval and refinement
Researchers have developed MathForm, a framework designed to improve the autoformalization of mathematical statements into machine-verifiable languages like Lean 4. This framework incorporates knowledge retrieval from l…
-
Mistral AI releases Leanstral 1.5 for advanced formal verification
Mistral AI has released Leanstral 1.5, an open-source model designed for formal verification tasks. This model, which has 6 billion active parameters and is available under the Apache 2.0 license, demonstrates significa…
-
New AI system Aria automates mathematical theorem formalization
Researchers have developed Aria, a new system designed to improve the auto-formalization of mathematical theorems using large language models. Aria employs a two-phase Graph-of-Thought process, breaking down statements …