FARMS: A Verifiable Foundation for Automated Computational Science.

arXiv:2610.40560v1 Announce Type: new Abstract: 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 expli