Explore
Discover
Solutions
AI Services
Our Products
Submit a tool
Search the catalog
⌘K
$
/
₹
Sign up free
Login
Back to papers
October 29, 2026
cs.AI
cs.LO
FARMS: A Verifiable Foundation for Automated Computational Science
Di Wu
,
Ling Liang
,
Haizhao Yang
Original Abstract
Read on arXiv
Download PDF
Categories
cs.AI, cs.LO
FARMS: A Verifiable Foundation for Automated Computational Science - AI Research | One9Founders