FARMS: A Verifiable Foundation for Automated Computational Science
Automated computational science could accelerate discovery by selecting, adapting and developing numerical methods. This prospect requires mathematical knowledge that AI systems can interpret and reuse with explicit guarantees. Here we present FARMS, a faithful and efficient foundation that transforms computational mathematics into AI-ready computing knowledge. FARMS connects formal statements to…
We haven't written up this one. arXiv cs.AI has the full story — the link below goes straight to it.