{"id":"6cf2f5307b2055129092df4898d264db5cabd847df6ef656a3b782d18ac432cc","title":"arXiv cs.AI lists FARMS: A Verifiable Foundation for Automated Computational Science","argument":"Di Wu, Ling Liang and Haizhao Yang present FARMS, a system intended to make mathematical knowledge usable by AI systems with explicit guarantees. They argue that automated computational science could speed discovery by selecting, adapting and developing numerical methods, but that this requires knowledge AI can interpret and reuse. FARMS links formal statements to their source context, algorithmic meaning and quantitative guarantees through source preparation, reusable representations and semantic review. In tests covering 171 targets in randomized numerical linear algebra and numerical partial differential equations, the pipeline accepted 157; the authors report mean estimated costs of US $0.85–2.29 per target across sources. They also describe Lean-checked implications from explicit source premises connecting selected statements to computational skills, with a heat-flow solve and wave-response compression as examples. The authors present these results as support for an affordable, reusable knowledge foundation for trustworthy automated computational science.","topicIds":["intelligence-and-discovery"],"domain":"science","claimType":"attributed reading","limits":"The evidence is the publisher page's abstract, which does not provide details of the pipeline's evaluation methods or how the estimated costs were calculated. The reported targets cover randomized numerical linear algebra and numerical partial differential equations; the abstract does not report performance on other areas of computational science. The abstract reports examples and selected statements, but does not specify how broadly the reported guarantees apply.","speaker":{"name":"Wu, Di, Liang, Ling, Yang, Haizhao","roleAtSource":"Article author"},"source":{"title":"FARMS: A Verifiable Foundation for Automated Computational Science","publisher":"arXiv cs.AI","format":"Article","url":"https://arxiv.org/abs/2610.40560","publishedAt":"2026-10-29","dateBasis":"Date basis not provided."},"evidence":[{"text":"The authors present FARMS as a foundation for making computational mathematics usable by AI systems with explicit guarantees.","excerpt":"FARMS, a faithful and efficient foundation that transforms computational mathematics into AI-ready computing knowledge.","url":"https://arxiv.org/abs/2610.40560","relationship":"Source-stated"},{"text":"FARMS connects formal statements to source context, algorithmic meaning and quantitative guarantees using three described stages.","excerpt":"through source preparation, reusable representations and semantic review.","url":"https://arxiv.org/abs/2610.40560","relationship":"Source-stated"},{"text":"The pipeline accepted 157 of 171 targets in two named research areas.","excerpt":"Across 171 targets in randomized numerical linear algebra and numerical partial differential equations, 157 were accepted by the pipeline","url":"https://arxiv.org/abs/2610.40560","relationship":"Source-stated"},{"text":"The authors report mean estimated costs of US $0.85–2.29 per target across sources.","excerpt":"with mean estimated costs of US \\$0.85-2.29 per target across sources.","url":"https://arxiv.org/abs/2610.40560","relationship":"Source-stated"},{"text":"The authors say Lean-checked implications from explicit source premises connect selected statements to computational skills, illustrated with two examples.","excerpt":"Lean-checked implications from explicit source premises connect selected statements to computational skills, illustrated by a heat-flow solve and wave-response compression.","url":"https://arxiv.org/abs/2610.40560","relationship":"Source-stated"}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2610.40560","checkedAt":"2026-11-11T07:54:09.350Z","items":[],"note":"No suitable media was found by the supported page extraction."},"assumptions":[],"openQuestion":{"attribution":"Open question","text":"How does FARMS perform on kinds of computational science beyond the randomized numerical linear algebra and numerical partial differential equations targets described in the abstract?"},"whatWouldChangeView":{"attribution":"Change condition not recorded","text":""},"editorialComparisons":[],"live":{"title":"arXiv cs.AI lists FARMS: A Verifiable Foundation for Automated Computational Science","summary":"Di Wu, Ling Liang and Haizhao Yang present FARMS, a system intended to make mathematical knowledge usable by AI systems with explicit guarantees. They argue that automated computational science could speed discovery by selecting, adapting and developing numerical methods, but that this requires knowledge AI can interpret and reuse. FARMS links formal statements to their source context, algorithmic meaning and quantitative guarantees through source preparation, reusable representations and semantic review. In tests covering 171 targets in randomized numerical linear algebra and numerical partial differential equations, the pipeline accepted 157; the authors report mean estimated costs of US $0.85–2.29 per target across sources. They also describe Lean-checked implications from explicit source premises connecting selected statements to computational skills, with a heat-flow solve and wave-response compression as examples. The authors present these results as support for an affordable, reusable knowledge foundation for trustworthy automated computational science.","question":"How does FARMS perform on kinds of computational science beyond the randomized numerical linear algebra and numerical partial differential equations targets described in the abstract?","claims":[{"text":"The authors present FARMS as a foundation for making computational mathematics usable by AI systems with explicit guarantees.","excerpt":"FARMS, a faithful and efficient foundation that transforms computational mathematics into AI-ready computing knowledge.","support":"source-stated"},{"text":"FARMS connects formal statements to source context, algorithmic meaning and quantitative guarantees using three described stages.","excerpt":"through source preparation, reusable representations and semantic review.","support":"source-stated"},{"text":"The pipeline accepted 157 of 171 targets in two named research areas.","excerpt":"Across 171 targets in randomized numerical linear algebra and numerical partial differential equations, 157 were accepted by the pipeline","support":"source-stated"},{"text":"The authors report mean estimated costs of US $0.85–2.29 per target across sources.","excerpt":"with mean estimated costs of US \\$0.85-2.29 per target across sources.","support":"source-stated"},{"text":"The authors say Lean-checked implications from explicit source premises connect selected statements to computational skills, illustrated with two examples.","excerpt":"Lean-checked implications from explicit source premises connect selected statements to computational skills, illustrated by a heat-flow solve and wave-response compression.","support":"source-stated"}],"limitations":["The evidence is the publisher page's abstract, which does not provide details of the pipeline's evaluation methods or how the estimated costs were calculated.","The reported targets cover randomized numerical linear algebra and numerical partial differential equations; the abstract does not report performance on other areas of computational science.","The abstract reports examples and selected statements, but does not specify how broadly the reported guarantees apply."],"mediaId":"800f8035e42807167c884c02415aabbbbed41169470141097092756956d17aea","correctionReason":null,"id":"6cf2f5307b2055129092df4898d264db5cabd847df6ef656a3b782d18ac432cc","publicationId":"3ee39139-5259-4d27-8c65-5884a3326010","version":1,"sourceUrl":"https://arxiv.org/abs/2610.40560","sourceTitle":"FARMS: A Verifiable Foundation for Automated Computational Science","publisher":"arXiv cs.AI","publishedAt":null,"originalPublished":{"value":"2026-10-29","precision":"day","basis":"publisher_citation_date"},"firstObservedAt":"2026-10-30T06:41:15.316Z","createdAt":"2026-11-11T07:39:25.164Z","historical":true,"entityIds":["arxiv"],"topicIds":["intelligence-and-discovery"],"media":[{"id":"800f8035e42807167c884c02415aabbbbed41169470141097092756956d17aea","kind":"article","url":"https://arxiv.org/abs/2610.40560","sourceUrl":"https://arxiv.org/abs/2610.40560","label":"Read original","provenance":"source_link","verification":{"status":"verified","checkedAt":"2026-10-31T07:17:50.149Z","method":"acquired_source","contentType":"text/html"},"recommendationReason":"Recommended by Jev for understanding this source; checked by Luna."}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2610.40560","checkedAt":"2026-11-11T07:54:09.350Z","items":[],"note":"No suitable media was found by the supported page extraction."},"editorialDecision":{"outcome":"accept","reasonCodes":["material_development"],"rubricVersion":"stream-admission-v5","mediaId":"800f8035e42807167c884c02415aabbbbed41169470141097092756956d17aea","confidence":0.76,"provider":"typesafe","model":"jev-1.13.0","inputHash":"aa7652e5a63f495bdec5113e87786bd6c8feae6ceafa329be409c8d332d94d76","decidedAt":"2026-10-31T07:17:53.853Z","redecided":{"from":"stream-admission-v5","under":"stream-admission-v5+confidence-0.5"}},"provenance":{"textHash":"2698c700be1ab7031936cd9515d030bba0d9c31f9de76bbb92ad33fa8fd606cb","observationId":"1af54cf8609267ce7ad8f3f96d1b74ac2d1db1a64c21a0c2927272336291c822","retrievedAt":"2026-10-31T07:17:50.107Z","kind":"publisher-page","preparer":{"model":"gpt-6-luna","runId":"c99f3be1-36df-47c4-8399-b226be93932f"},"reviewer":{"model":"gpt-6-luna","runId":"4a98f256-f766-40cd-81af-16466d7c8d6c"}},"audit":{"status":"uncertain","reviewedAt":"2026-11-11T07:39:25.164Z","model":"anthropic/claude-opus-5.5"},"sourceAttribution":{"authors":[{"name":"Wu, Di","url":null,"kind":"unknown"},{"name":"Liang, Ling","url":null,"kind":"unknown"},{"name":"Yang, Haizhao","url":null,"kind":"unknown"}],"authorRole":"article-author","hosts":[],"status":"stated","authorRoster":{"truncated":false,"omitted":0,"assertionGroupsOmitted":0},"participation":[{"actor":{"name":"Wu, Di","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Wu, Di","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2610.40560","locator":"head/meta[name=author|citation_author]"},"assertionId":"ea19fbc2018042b37a463614be4e4f4d2778b638777590c87d725bc4b247521b:participation:0","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-10-31T07:17:50.107Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"ea19fbc2018042b37a463614be4e4f4d2778b638777590c87d725bc4b247521b","sourceUrl":"https://arxiv.org/abs/2610.40560","contentSha256":"d187764ced9a63255458d7b807da53484179090655740d494d546f3cd304c47f","textHash":"2698c700be1ab7031936cd9515d030bba0d9c31f9de76bbb92ad33fa8fd606cb","observedAt":"2026-10-31T07:17:50.107Z"}},{"actor":{"name":"Liang, Ling","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Liang, Ling","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2610.40560","locator":"head/meta[name=author|citation_author]"},"assertionId":"ea19fbc2018042b37a463614be4e4f4d2778b638777590c87d725bc4b247521b:participation:1","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-10-31T07:17:50.107Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"ea19fbc2018042b37a463614be4e4f4d2778b638777590c87d725bc4b247521b","sourceUrl":"https://arxiv.org/abs/2610.40560","contentSha256":"d187764ced9a63255458d7b807da53484179090655740d494d546f3cd304c47f","textHash":"2698c700be1ab7031936cd9515d030bba0d9c31f9de76bbb92ad33fa8fd606cb","observedAt":"2026-10-31T07:17:50.107Z"}},{"actor":{"name":"Yang, Haizhao","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Yang, Haizhao","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2610.40560","locator":"head/meta[name=author|citation_author]"},"assertionId":"ea19fbc2018042b37a463614be4e4f4d2778b638777590c87d725bc4b247521b:participation:2","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-10-31T07:17:50.107Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"ea19fbc2018042b37a463614be4e4f4d2778b638777590c87d725bc4b247521b","sourceUrl":"https://arxiv.org/abs/2610.40560","contentSha256":"d187764ced9a63255458d7b807da53484179090655740d494d546f3cd304c47f","textHash":"2698c700be1ab7031936cd9515d030bba0d9c31f9de76bbb92ad33fa8fd606cb","observedAt":"2026-10-31T07:17:50.107Z"}}],"participationCoverage":{"total":3,"returned":3,"complete":true,"fullAssertions":"source-metadata-endpoint"},"distribution":null,"publisher":null,"sourceUrl":"https://arxiv.org/abs/2610.40560","snapshotId":"ea19fbc2018042b37a463614be4e4f4d2778b638777590c87d725bc4b247521b","contentSha256":"d187764ced9a63255458d7b807da53484179090655740d494d546f3cd304c47f","textHash":"2698c700be1ab7031936cd9515d030bba0d9c31f9de76bbb92ad33fa8fd606cb","observedAt":"2026-10-31T07:17:50.107Z","basis":"publisher-page-metadata","sourceLinks":42,"linksTruncated":false,"metadataUrl":"/api/pipeline/stream/6cf2f5307b2055129092df4898d264db5cabd847df6ef656a3b782d18ac432cc/source"}},"canonicalUrl":"https://escapemeridian.com/readings/arxiv-cs-ai-lists-farms-a-verifiable-foundation-for-automated-6cf2f530","formats":{"html":"/readings/arxiv-cs-ai-lists-farms-a-verifiable-foundation-for-automated-6cf2f530","markdown":"/readings/arxiv-cs-ai-lists-farms-a-verifiable-foundation-for-automated-6cf2f530.md","json":"/readings/arxiv-cs-ai-lists-farms-a-verifiable-foundation-for-automated-6cf2f530.json"},"attribution":"Headline and summary by Escape Meridian, prepared by Luna from the attributed source. A source check is not independent confirmation of the source’s claims.","maintainedGuideLinks":[],"readerContext":{"version":"reader-context-v1","attribution":"Reference context selected by Escape Meridian; separate from source evidence. Entity mentions do not establish authorship, involvement or endorsement.","terms":[],"entities":[{"id":"arxiv","name":"arXiv","kind":"organization","context":"arXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed.","referenceUrls":["https://arxiv.org/","https://info.arxiv.org/help/api/index.html"],"path":"/entities/arxiv","json":"/entities/arxiv.json","markdown":"/entities/arxiv.md"},{"id":"lean","name":"Lean","kind":"concept","context":"Lean is a programming language and proof assistant used to express mathematical statements and check formal proofs.","referenceUrls":["https://lean-lang.org/","https://lean-lang.org/theorem_proving_in_lean4/Axioms-and-Computation/"],"path":"/entities/lean","json":"/entities/lean.json","markdown":"/entities/lean.md"}]},"researchQuestions":[],"withdrawn":false,"references":{"schemaVersion":1,"target":{"type":"reading","id":"6cf2f5307b2055129092df4898d264db5cabd847df6ef656a3b782d18ac432cc","revision":"3ee39139-5259-4d27-8c65-5884a3326010","revisionKind":"publication-id","title":"arXiv cs.AI lists FARMS: A Verifiable Foundation for Automated Computational Science","url":"https://escapemeridian.com/readings/arxiv-cs-ai-lists-farms-a-verifiable-foundation-for-automated-6cf2f530"},"source":{"type":"source","id":"https://arxiv.org/abs/2610.40560","revision":"2698c700be1ab7031936cd9515d030bba0d9c31f9de76bbb92ad33fa8fd606cb","revisionKind":"sha256-source-text","title":"FARMS: A Verifiable Foundation for Automated Computational Science","url":"https://arxiv.org/abs/2610.40560"},"status":"partial","items":[],"next":null,"scope":"Explicit citations in public readings and public file attachments to this reading. Shared topics are not citations. Other artifact types need an explicit reference adapter."},"revisions":[{"id":"6cf2f5307b2055129092df4898d264db5cabd847df6ef656a3b782d18ac432cc","title":"arXiv cs.AI lists FARMS: A Verifiable Foundation for Automated Computational Science","argument":"Di Wu, Ling Liang and Haizhao Yang present FARMS, a system intended to make mathematical knowledge usable by AI systems with explicit guarantees. They argue that automated computational science could speed discovery by selecting, adapting and developing numerical methods, but that this requires knowledge AI can interpret and reuse. FARMS links formal statements to their source context, algorithmic meaning and quantitative guarantees through source preparation, reusable representations and semantic review. In tests covering 171 targets in randomized numerical linear algebra and numerical partial differential equations, the pipeline accepted 157; the authors report mean estimated costs of US $0.85–2.29 per target across sources. They also describe Lean-checked implications from explicit source premises connecting selected statements to computational skills, with a heat-flow solve and wave-response compression as examples. The authors present these results as support for an affordable, reusable knowledge foundation for trustworthy automated computational science.","topicIds":["intelligence-and-discovery"],"domain":"science","claimType":"attributed reading","limits":"The evidence is the publisher page's abstract, which does not provide details of the pipeline's evaluation methods or how the estimated costs were calculated. The reported targets cover randomized numerical linear algebra and numerical partial differential equations; the abstract does not report performance on other areas of computational science. The abstract reports examples and selected statements, but does not specify how broadly the reported guarantees apply.","speaker":{"name":"Wu, Di, Liang, Ling, Yang, Haizhao","roleAtSource":"Article author"},"source":{"title":"FARMS: A Verifiable Foundation for Automated Computational Science","publisher":"arXiv cs.AI","format":"Article","url":"https://arxiv.org/abs/2610.40560","publishedAt":"2026-10-29","dateBasis":"Date basis not provided."},"evidence":[{"text":"The authors present FARMS as a foundation for making computational mathematics usable by AI systems with explicit guarantees.","excerpt":"FARMS, a faithful and efficient foundation that transforms computational mathematics into AI-ready computing knowledge.","url":"https://arxiv.org/abs/2610.40560","relationship":"Source-stated"},{"text":"FARMS connects formal statements to source context, algorithmic meaning and quantitative guarantees using three described stages.","excerpt":"through source preparation, reusable representations and semantic review.","url":"https://arxiv.org/abs/2610.40560","relationship":"Source-stated"},{"text":"The pipeline accepted 157 of 171 targets in two named research areas.","excerpt":"Across 171 targets in randomized numerical linear algebra and numerical partial differential equations, 157 were accepted by the pipeline","url":"https://arxiv.org/abs/2610.40560","relationship":"Source-stated"},{"text":"The authors report mean estimated costs of US $0.85–2.29 per target across sources.","excerpt":"with mean estimated costs of US \\$0.85-2.29 per target across sources.","url":"https://arxiv.org/abs/2610.40560","relationship":"Source-stated"},{"text":"The authors say Lean-checked implications from explicit source premises connect selected statements to computational skills, illustrated with two examples.","excerpt":"Lean-checked implications from explicit source premises connect selected statements to computational skills, illustrated by a heat-flow solve and wave-response compression.","url":"https://arxiv.org/abs/2610.40560","relationship":"Source-stated"}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2610.40560","checkedAt":"2026-11-11T07:54:09.350Z","items":[],"note":"No suitable media was found by the supported page extraction."},"assumptions":[],"openQuestion":{"attribution":"Open question","text":"How does FARMS perform on kinds of computational science beyond the randomized numerical linear algebra and numerical partial differential equations targets described in the abstract?"},"whatWouldChangeView":{"attribution":"Change condition not recorded","text":""},"editorialComparisons":[],"live":{"title":"arXiv cs.AI lists FARMS: A Verifiable Foundation for Automated Computational Science","summary":"Di Wu, Ling Liang and Haizhao Yang present FARMS, a system intended to make mathematical knowledge usable by AI systems with explicit guarantees. They argue that automated computational science could speed discovery by selecting, adapting and developing numerical methods, but that this requires knowledge AI can interpret and reuse. FARMS links formal statements to their source context, algorithmic meaning and quantitative guarantees through source preparation, reusable representations and semantic review. In tests covering 171 targets in randomized numerical linear algebra and numerical partial differential equations, the pipeline accepted 157; the authors report mean estimated costs of US $0.85–2.29 per target across sources. They also describe Lean-checked implications from explicit source premises connecting selected statements to computational skills, with a heat-flow solve and wave-response compression as examples. The authors present these results as support for an affordable, reusable knowledge foundation for trustworthy automated computational science.","question":"How does FARMS perform on kinds of computational science beyond the randomized numerical linear algebra and numerical partial differential equations targets described in the abstract?","claims":[{"text":"The authors present FARMS as a foundation for making computational mathematics usable by AI systems with explicit guarantees.","excerpt":"FARMS, a faithful and efficient foundation that transforms computational mathematics into AI-ready computing knowledge.","support":"source-stated"},{"text":"FARMS connects formal statements to source context, algorithmic meaning and quantitative guarantees using three described stages.","excerpt":"through source preparation, reusable representations and semantic review.","support":"source-stated"},{"text":"The pipeline accepted 157 of 171 targets in two named research areas.","excerpt":"Across 171 targets in randomized numerical linear algebra and numerical partial differential equations, 157 were accepted by the pipeline","support":"source-stated"},{"text":"The authors report mean estimated costs of US $0.85–2.29 per target across sources.","excerpt":"with mean estimated costs of US \\$0.85-2.29 per target across sources.","support":"source-stated"},{"text":"The authors say Lean-checked implications from explicit source premises connect selected statements to computational skills, illustrated with two examples.","excerpt":"Lean-checked implications from explicit source premises connect selected statements to computational skills, illustrated by a heat-flow solve and wave-response compression.","support":"source-stated"}],"limitations":["The evidence is the publisher page's abstract, which does not provide details of the pipeline's evaluation methods or how the estimated costs were calculated.","The reported targets cover randomized numerical linear algebra and numerical partial differential equations; the abstract does not report performance on other areas of computational science.","The abstract reports examples and selected statements, but does not specify how broadly the reported guarantees apply."],"mediaId":"800f8035e42807167c884c02415aabbbbed41169470141097092756956d17aea","correctionReason":null,"id":"6cf2f5307b2055129092df4898d264db5cabd847df6ef656a3b782d18ac432cc","publicationId":"3ee39139-5259-4d27-8c65-5884a3326010","version":1,"sourceUrl":"https://arxiv.org/abs/2610.40560","sourceTitle":"FARMS: A Verifiable Foundation for Automated Computational Science","publisher":"arXiv cs.AI","publishedAt":null,"originalPublished":{"value":"2026-10-29","precision":"day","basis":"publisher_citation_date"},"firstObservedAt":"2026-10-30T06:41:15.316Z","createdAt":"2026-11-11T07:39:25.164Z","historical":true,"entityIds":["arxiv"],"topicIds":["intelligence-and-discovery"],"media":[{"id":"800f8035e42807167c884c02415aabbbbed41169470141097092756956d17aea","kind":"article","url":"https://arxiv.org/abs/2610.40560","sourceUrl":"https://arxiv.org/abs/2610.40560","label":"Read original","provenance":"source_link","verification":{"status":"verified","checkedAt":"2026-10-31T07:17:50.149Z","method":"acquired_source","contentType":"text/html"},"recommendationReason":"Recommended by Jev for understanding this source; checked by Luna."}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2610.40560","checkedAt":"2026-11-11T07:54:09.350Z","items":[],"note":"No suitable media was found by the supported page extraction."},"editorialDecision":{"outcome":"accept","reasonCodes":["material_development"],"rubricVersion":"stream-admission-v5","mediaId":"800f8035e42807167c884c02415aabbbbed41169470141097092756956d17aea","confidence":0.76,"provider":"typesafe","model":"jev-1.13.0","inputHash":"aa7652e5a63f495bdec5113e87786bd6c8feae6ceafa329be409c8d332d94d76","decidedAt":"2026-10-31T07:17:53.853Z","redecided":{"from":"stream-admission-v5","under":"stream-admission-v5+confidence-0.5"}},"provenance":{"textHash":"2698c700be1ab7031936cd9515d030bba0d9c31f9de76bbb92ad33fa8fd606cb","observationId":"1af54cf8609267ce7ad8f3f96d1b74ac2d1db1a64c21a0c2927272336291c822","retrievedAt":"2026-10-31T07:17:50.107Z","kind":"publisher-page","preparer":{"model":"gpt-6-luna","runId":"c99f3be1-36df-47c4-8399-b226be93932f"},"reviewer":{"model":"gpt-6-luna","runId":"4a98f256-f766-40cd-81af-16466d7c8d6c"}},"audit":{"status":"uncertain","reviewedAt":"2026-11-11T07:39:25.164Z","model":"anthropic/claude-opus-5.5"},"sourceAttribution":{"authors":[{"name":"Wu, Di","url":null,"kind":"unknown"},{"name":"Liang, Ling","url":null,"kind":"unknown"},{"name":"Yang, Haizhao","url":null,"kind":"unknown"}],"authorRole":"article-author","hosts":[],"status":"stated","authorRoster":{"truncated":false,"omitted":0,"assertionGroupsOmitted":0},"participation":[{"actor":{"name":"Wu, Di","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Wu, Di","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2610.40560","locator":"head/meta[name=author|citation_author]"},"assertionId":"ea19fbc2018042b37a463614be4e4f4d2778b638777590c87d725bc4b247521b:participation:0","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-10-31T07:17:50.107Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"ea19fbc2018042b37a463614be4e4f4d2778b638777590c87d725bc4b247521b","sourceUrl":"https://arxiv.org/abs/2610.40560","contentSha256":"d187764ced9a63255458d7b807da53484179090655740d494d546f3cd304c47f","textHash":"2698c700be1ab7031936cd9515d030bba0d9c31f9de76bbb92ad33fa8fd606cb","observedAt":"2026-10-31T07:17:50.107Z"}},{"actor":{"name":"Liang, Ling","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Liang, Ling","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2610.40560","locator":"head/meta[name=author|citation_author]"},"assertionId":"ea19fbc2018042b37a463614be4e4f4d2778b638777590c87d725bc4b247521b:participation:1","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-10-31T07:17:50.107Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"ea19fbc2018042b37a463614be4e4f4d2778b638777590c87d725bc4b247521b","sourceUrl":"https://arxiv.org/abs/2610.40560","contentSha256":"d187764ced9a63255458d7b807da53484179090655740d494d546f3cd304c47f","textHash":"2698c700be1ab7031936cd9515d030bba0d9c31f9de76bbb92ad33fa8fd606cb","observedAt":"2026-10-31T07:17:50.107Z"}},{"actor":{"name":"Yang, Haizhao","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Yang, Haizhao","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2610.40560","locator":"head/meta[name=author|citation_author]"},"assertionId":"ea19fbc2018042b37a463614be4e4f4d2778b638777590c87d725bc4b247521b:participation:2","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-10-31T07:17:50.107Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"ea19fbc2018042b37a463614be4e4f4d2778b638777590c87d725bc4b247521b","sourceUrl":"https://arxiv.org/abs/2610.40560","contentSha256":"d187764ced9a63255458d7b807da53484179090655740d494d546f3cd304c47f","textHash":"2698c700be1ab7031936cd9515d030bba0d9c31f9de76bbb92ad33fa8fd606cb","observedAt":"2026-10-31T07:17:50.107Z"}}],"participationCoverage":{"total":3,"returned":3,"complete":true,"fullAssertions":"source-metadata-endpoint"},"distribution":null,"publisher":null,"sourceUrl":"https://arxiv.org/abs/2610.40560","snapshotId":"ea19fbc2018042b37a463614be4e4f4d2778b638777590c87d725bc4b247521b","contentSha256":"d187764ced9a63255458d7b807da53484179090655740d494d546f3cd304c47f","textHash":"2698c700be1ab7031936cd9515d030bba0d9c31f9de76bbb92ad33fa8fd606cb","observedAt":"2026-10-31T07:17:50.107Z","basis":"publisher-page-metadata","sourceLinks":42,"linksTruncated":false,"metadataUrl":"/api/pipeline/stream/6cf2f5307b2055129092df4898d264db5cabd847df6ef656a3b782d18ac432cc/source"}}}],"audits":[{"publicationId":"3ee39139-5259-4d27-8c65-5884a3326010","verdict":"uncertain","findings":[{"dimension":"attribution","status":"pass","explanation":"The reading correctly attributes FARMS and its claims to Di Wu, Ling Liang and Haizhao Yang. It keeps the results and the conclusion framed as the authors' report, for example 'the authors report' and 'the authors present these results as support'.","excerpt":"Authors:Di Wu, Ling Liang, Haizhao Yang"},{"dimension":"summary","status":"uncertain","explanation":"The summary is faithful, but central terms are left unexplained for a non-specialist. It never says what a 'target' is, so the headline result of 157 accepted out of 171 is hard to interpret. It also does not say that 'accepted by the pipeline' means passing FARMS's own review rather than independent validation. 'Lean-checked' carries the verifiability claim, yet Lean (a proof-checking system) is not explained. Smallest repair: one clause defining a target, plus tooltips or an added term-library entry for Lean. The question is a fair, open issue.","excerpt":"Across 171 targets in randomized numerical linear algebra and numerical partial differential equations, 157 were accepted by the pipeline"},{"dimension":"date","status":"pass","explanation":"originalPublished is 2026-10-29, which matches the v1 submission date on the arXiv page. The 2026-10-31 feed date is correctly not used.","excerpt":"[Submitted on 29 Oct 2026]"},{"dimension":"support","status":"pass","explanation":"Every claim matches the abstract verbatim in substance: the 157 of 171 acceptance figure, the US $0.85–2.29 mean estimated cost, and the Lean-checked implications with two examples. The limitations correctly note that only the abstract was available and that scope is limited. No benefits or costs are invented.","excerpt":"with mean estimated costs of US \\$0.85-2.29 per target across sources."},{"dimension":"media","status":"pass","explanation":"The selected media is the verified direct arXiv abstract page for this paper, which is the most direct access to the source.","excerpt":null}],"createdAt":"2026-11-11T07:39:25.164Z","model":"anthropic/claude-opus-5.5"}],"correctionUrl":"https://escapemeridian.com/corrections/"}