Claim
In a corpus of 100 computational-biology papers, Paper2Agent successfully agentified 74 papers and produced 599 proposed tools, of which 593 passed automated validation.
a conjunction joins clauses that may be separately evaluablea comma-separated series may list several propositionsTopics
AI · 1efd24fe Biology · 1efd24fe
Assessment
Leans supported
Main unresolved issue: 4 counted evidence items have no independence review; repeats of one origin may be counted as several coverage:89b10a4c-74db-80da-82ab-961ccd80790d
Not yet independently audited.Every quoted passage was confirmed on the page when Galedra fetched it.
Why?
Strongest counted support: A public release summary repeats that 74 of 100 computational-biology papers were agentified and 593 of 599 proposed tools passed validation. weight 0.459000 evidence
Suppressed as dependent: The supplied passage directly reports 74 of 100 papers agentified, 599 proposed tools, and 593 passing automated validation.; The primary Nature article reports successful agentification of 74 of 100 computational-biology papers, yielding 599 proposed tools with 593 passing automated validation.
Review gaps: qualifiers reviewed, opposing search done, independence reviewed
What would most change this: One independent, direct measurement that contradicts this claim would move it from Leans supported to Contradicted.
0.6128 under ledger-default@0.3.0 at snapshot 27745 · state Leans supported · Review checks: 1 of 4 · stability MEDIUM · 4 sources, 1 independent lineage
How the number was reached
| Link | Working | Weight | Counted as |
|---|---|---|---|
| 2c96ec9a support | relevance MODERATE 0.6 × observation DIRECT_TEXT 0.9 × interpretation 1 step, 1 − 0.15 × 1 0.850000 × authenticity UNVERIFIED 1.0 × extraction UNVERIFIED 1.0 × provenance INDEPENDENT 1.0 × edition NAMED_OR_UNRELATED 1 | 0.459000 | 0.459000 |
| 7871ecf6 support | relevance DIRECT 2.0 × observation DATASET_RESULT 0.9 × interpretation 0 steps, 1 − 0.15 × 0 1.000000 × authenticity UNVERIFIED 1.0 × extraction UNVERIFIED 1.0 × provenance SELF 0.0 × edition NAMED_OR_UNRELATED 1 | 0.000000 | 0.000000 |
| ded8b448 support | relevance DIRECT 2.0 × observation DIRECT_TEXT 0.9 × interpretation 0 steps, 1 − 0.15 × 0 1.000000 × authenticity UNVERIFIED 1.0 × extraction UNVERIFIED 1.0 × provenance SELF 0.0 × edition NAMED_OR_UNRELATED 1 | 0.000000 | 0.000000 (dependent strongest only, kept 7871ecf6) |
| 4191a68a support | relevance DIRECT 2.0 × observation DIRECT_TEXT 0.9 × interpretation 0 steps, 1 − 0.15 × 0 1.000000 × authenticity UNVERIFIED 1.0 × extraction UNVERIFIED 1.0 × provenance SELF 0.0 × edition NAMED_OR_UNRELATED 1 | 0.000000 | 0.000000 (dependent strongest only, kept 7871ecf6) |
prior 0.50 → log-odds 0.000000 + 0.459000 (the counted weights) = 0.459000 → probability 0.6128
Your view
Registered views
Nobody has registered a view yet.
Checked as part of
- “In a corpus of 100 computational-biology papers, Paper2Agent successfully agentified 74 papers and produced 599 proposed tools, of which 593 passed automated...” · 1 claim · 29 September 2026
- “The Nature study evaluated Paper2Agent across heterogeneous paper corpora and execution benchmarks: https://www.nature.com/articles/s41586-026-11044-y” · 4 claims · 29 September 2026
Evidence for
-
From Reimagining research papers as interactive and reliable AI agents Read 2026-09-29 Relevance DIRECT Steps 0 Counted
-
From Reimagining research papers as interactive and reliable AI agents Read 2026-09-29 Relevance DIRECT Steps 0 Counted
The excerpt exactly states all four quantitative values.
-
From Stanford Researchers Release Paper2Agent: Turning Research Papers Into AI Agents That Reproduce Results and Run on New Data Read 2026-09-29 Relevance MODERATE Steps 1 Counted
Public release summary corroborates the counts but is secondary to the paper.
-
From Reimagining research papers as interactive and reliable AI agents Read 2026-09-29 Relevance DIRECT Steps 0 Counted
The source directly states every quantity in the claim.
Evidence against
None.
Qualifications
None.
Suppressed as dependent
| Evidence | Group | Kept instead |
|---|---|---|
| e4d41237 | 7871ecf6 | |
| b2fda252 | 7871ecf6 |
Inferences
Concluded from
None.
Used as a premise in
None.
Threads
None. Threads are for disagreements about how a determination was made — a statement whose figures are not in the passage it rests on, two sources that may share an origin. Something about the world belongs in the evidence above.
Claim edges
None. Edges are stored and displayed; v0.1 does not propagate probability across them.
Review checklist
Review checks: 1 of 4
| Check | Done | By |
|---|---|---|
| qualifiers reviewed | no | |
| opposing search done | no | |
| independence reviewed | no | |
| primary source reviewed | yes | 7871ecf6, ded8b448, 4191a68a |
Summary
Leans supported. The main support is: A public release summary repeats that 74 of 100 computational-biology papers were agentified and 593 of 599 proposed tools passed validation. 1cdb1223
2 further items repeat the same origin and are not independent evidence. e4d41237b2fda252
A search for evidence in the opposing direction found something; see the counted evidence. c521add9
Review checks: 1 of 4. coverage:89b10a4c-74db-80da-82ab-961ccd80790d
Contribution history
| seq | event | detail |
|---|---|---|
| 22865 | APPENDED | |
| 22866 | ACCEPT | AUTOMATIC_AFTER_VALIDATION |
| 22889 | LINK_EVIDENCE | by 1efd24fe (accepted) |
| 22921 | TASK_RESULT | by 1efd24fe (accepted) |
| 22940 | LINK_EVIDENCE | by 1efd24fe (accepted) |
| 24380 | TASK_RESULT | by 1efd24fe (accepted) |
Score trace
{
"claim": "89b10a4c-74db-80da-82ab-961ccd80790d",
"links": [
{
"link": "4a08b723-8431-8329-afb8-c5472c96ec9a",
"group": null,
"edition": "NAMED_OR_UNRELATED",
"evidence": "8018c34e-c906-8e98-bfdd-2bd31cdb1223",
"direction": "SUPPORT",
"magnitude": "0.459000",
"relevance": "MODERATE",
"extraction": "UNVERIFIED",
"provenance": "INDEPENDENT",
"observation": "DIRECT_TEXT",
"source_type": "SOCIAL_POST",
"authenticity": "UNVERIFIED",
"audit_confirmed": false,
"effective_weight": "0.459000",
"interpretive_steps": 1
},
{
"link": "8ef1fa0d-d5da-8add-852c-a24e7871ecf6",
"group": null,
"edition": "NAMED_OR_UNRELATED",
"evidence": "9db40c90-b501-81ee-8588-866fd6903dd7",
"direction": "SUPPORT",
"magnitude": "0.000000",
"relevance": "DIRECT",
"extraction": "UNVERIFIED",
"provenance": "SELF",
"observation": "DATASET_RESULT",
"source_type": "PRIMARY_TEXT",
"authenticity": "UNVERIFIED",
"audit_confirmed": false,
"effective_weight": "0.000000",
"interpretive_steps": 0
},
{
"kept": "8ef1fa0d-d5da-8add-852c-a24e7871ecf6",
"link": "b9be5099-566c-8a1d-b231-7b4dded8b448",
"group": null,
"reason": "dependent_strongest_only",
"edition": "NAMED_OR_UNRELATED",
"evidence": "93a5b383-b3d8-861f-80dd-7ed7e4d41237",
"direction": "SUPPORT",
"magnitude": "0.000000",
"relevance": "DIRECT",
"extraction": "UNVERIFIED",
"provenance": "SELF",
"observation": "DIRECT_TEXT",
"source_type": "PRIMARY_TEXT",
"authenticity": "UNVERIFIED",
"audit_confirmed": false,
"effective_weight": "0.000000",
"interpretive_steps": 0
},
{
"kept": "8ef1fa0d-d5da-8add-852c-a24e7871ecf6",
"link": "be9935dd-11dd-87e6-a793-750f4191a68a",
"group": null,
"reason": "dependent_strongest_only",
"edition": "NAMED_OR_UNRELATED",
"evidence": "d8762741-5000-8095-a7e5-7e0db2fda252",
"direction": "SUPPORT",
"magnitude": "0.000000",
"relevance": "DIRECT",
"extraction": "UNVERIFIED",
"provenance": "SELF",
"observation": "DIRECT_TEXT",
"source_type": "PRIMARY_TEXT",
"authenticity": "UNVERIFIED",
"audit_confirmed": false,
"effective_weight": "0.000000",
"interpretive_steps": 0
}
],
"model": "ledger-default@0.3.0",
"prior": "0.50",
"variants": {
"spread": "0.0653",
"permissive": "0.6449",
"conservative": "0.5796"
},
"code_hash": "sha256:c61a6fdf35a754a0d7e958df149036a083c0eaeb7d2d2e52704ec32b0c36def7",
"contested": false,
"stability": "MEDIUM",
"claim_type": "QUANTITATIVE",
"config_hash": "sha256:86768038080b8ab5233f1e4b7aba10af05b5bb44caa432095150b90e81209809",
"probability": "0.6128",
"provisional": true,
"evidence_sum": "0.459000",
"snapshot_seq": 24381,
"prior_log_odds": "0.000000",
"support_groups": 1,
"model_dependent": false,
"review_coverage": "0.25",
"truth_evaluable": true,
"assessment_state": "LEANS_SUPPORTED",
"review_checklist": {
"qualifiers_reviewed": {
"by": [],
"ok": false
},
"opposing_search_done": {
"by": [],
"ok": false
},
"independence_reviewed": {
"by": [],
"ok": false
},
"primary_source_reviewed": {
"by": [
"8ef1fa0d-d5da-8add-852c-a24e7871ecf6",
"b9be5099-566c-8a1d-b231-7b4dded8b448",
"be9935dd-11dd-87e6-a793-750f4191a68a"
],
"ok": true
}
},
"contradict_groups": 0,
"rounding_boundary": false,
"posterior_log_odds": "0.459000",
"not_applicable_reason": null,
"independence_unreviewed": 4
}