Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable | Paper Citation Record

Observation 83d7c430-9e5e-4aeb-8e9e-69e45269557c · outbound

This paper cites Buldú, Michael Stich, and Susanna C.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Buldú, Michael Stich, and Susanna C

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:43:24.905436Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 0af22c00-d744-4ba7-af64-310435b43a42 · outbound

This paper cites Concrete Problems in AI Safety.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Concrete Problems in AI Safety

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:13.646393Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6aba2ec2-6313-412d-9c2d-a1083c44dee2 · outbound

This paper cites Pellock, Tamuka M.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Pellock, Tamuka M

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:43:24.747995Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 521d4e63-eb93-4bff-a304-52151002851e · outbound

This paper cites Baker and Alden F.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Baker and Alden F

Reference 4

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T00:43:24.610754Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 112b36ad-c520-41f9-a5ee-7c2975b9b52f · outbound

This paper cites an unresolved cited work.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Unresolved cited work

Reference 5

Resolution: verified exact; doi, observed 2026-08-06T00:43:20.316155Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 30152679-58c9-4300-a798-b1b1b7e74d43 · outbound

This paper cites Designing RNA secondary structures is hard.Journal of Computational Biology, 27(3):302–316, 2020.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Designing RNA secondary structures is hard.Journal of Computational Biology, 27(3):302–316, 2020

Reference 6

Resolution: verified exact; raw_fallback, observed 2026-08-06T00:43:21.812569Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 2a86f294-fdb8-4426-8355-b887d897c6b6 · outbound

This paper cites INFO-RNA—a fast approach to inverse RNA folding.Bioin- formatics, 22(15):1823–1831, 2006.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable INFO-RNA—a fast approach to inverse RNA folding.Bioin- formatics, 22(15):1823–1831, 2006

Reference 7

Resolution: verified exact; doi, observed 2026-08-06T00:43:20.169785Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation abc602e0-875e-42d8-8ce9-c250b6b11480 · outbound

This paper cites “solved” is a choice of verifier, not a fact: Deterministic cost–robustness frontiers of verifier choice in RNA and SAT.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable “solved” is a choice of verifier, not a fact: Deterministic cost–robustness frontiers of verifier choice in RNA and SAT

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:43:24.486210Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 6fd46a92-0846-4b2a-86e9-38ed29dd3359 · outbound

This paper cites Three models for the description of language.IRE Transactions on Informa- tion Theory, 2(3):113–124, 1956.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Three models for the description of language.IRE Transactions on Informa- tion Theory, 2(3):113–124, 1956

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:14.184723Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0bd34aa-0379-4d8c-b17f-884719b758cf · outbound

This paper cites Neural Networks and the Chomsky Hierarchy.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Neural Networks and the Chomsky Hierarchy

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:14.297280Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24d63d08-1d3f-4051-af78-4b374b9670a2 · outbound

This paper cites Dowell and Sean R.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Dowell and Sean R

Reference 11

Resolution: verified exact; doi, observed 2026-08-06T00:43:20.029200Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 7f2eda37-c802-45fb-b62e-038def9e0b1b · outbound

This paper cites Eddy, Anders Krogh, and Graeme Mitchison.Biological Sequence Analysis.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Eddy, Anders Krogh, and Graeme Mitchison.Biological Sequence Analysis

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:43:24.345168Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 4f938226-95cb-41c2-a759-30b9b5eea97a · outbound

This paper cites an unresolved cited work.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:14.546233Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49d183f4-c010-4934-b4a0-fd80e57dad0a · outbound

This paper cites Scaling Laws for Reward Model Overoptimization.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Scaling Laws for Reward Model Overoptimization

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:14.620777Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d77b600e-c9f6-4ea7-9f63-7bee9e726d8b · outbound

This paper cites Towards an AI co-scientist.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Towards an AI co-scientist

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:14.689161Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9fe9e46f-6a78-4b5a-8561-0586670453ec · outbound

This paper cites Grünwald.The Minimum Description Length Principle.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Grünwald.The Minimum Description Length Principle

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:14.749695Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de71cac7-49e4-4bdc-b884-ce6856f7ef06 · outbound

This paper cites Hajdin, Stanislav Bellaousov, Wayne Huggins, Christopher W.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Hajdin, Stanislav Bellaousov, Wayne Huggins, Christopher W

Reference 17

Resolution: verified exact; doi, observed 2026-08-06T00:43:19.864125Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 6eb53bfb-f819-4b29-bc26-c5054fa1e58f · outbound

This paper cites Hopcroft and Jeffrey D.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Hopcroft and Jeffrey D

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:43:24.177775Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation c8abc093-5d6c-4dee-bbc7-2b561658e335 · outbound

This paper cites Automated Hypothesis Validation with Agentic Sequential Falsifications.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Automated Hypothesis Validation with Agentic Sequential Falsifications

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:14.982716Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ced2bace-8194-4b4d-9c94-a25bfbc3e721 · outbound

This paper cites The RNA shapes studio.Bioinformatics, 31(3):423–425,.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable The RNA shapes studio.Bioinformatics, 31(3):423–425,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:43:24.060087Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 6d37be8d-50a7-4bef-805d-1bd37b33d3c5 · outbound

This paper cites an unresolved cited work.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-06T00:43:23.904947Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation b57af0f1-4ac6-43eb-82dd-f5520df832fd · outbound

This paper cites RNA pseudoknotted structure prediction using stochastic multiple context-free grammar.IPSJ Digital Courier, 2:655–664, 2006.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable RNA pseudoknotted structure prediction using stochastic multiple context-free grammar.IPSJ Digital Courier, 2:655–664, 2006

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:43:23.753722Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation ddad0f6d-0dd9-4559-83aa-8f8cb6ee8ec6 · outbound

This paper cites RNA secondary structure prediction using stochastic context- free grammars and evolutionary history.Bioinformatics, 15(6):446–454, 1999.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable RNA secondary structure prediction using stochastic context- free grammars and evolutionary history.Bioinformatics, 15(6):446–454, 1999

Reference 23

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T00:43:23.620350Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 57a3269a-5b8e-4c45-9117-6999325047fe · outbound

This paper cites Koodli, Boris Rudolfs, Hannah K.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Koodli, Boris Rudolfs, Hannah K

Reference 24

Resolution: verified exact; doi, observed 2026-08-06T00:43:19.450080Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 1121e310-40df-435f-841c-0d8ce022d97c · outbound

This paper cites Are agents just automata? on the formal equivalence between agentic AI and the Chomsky hierarchy.arXiv preprint arXiv:2510.23487, 2025.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Are agents just automata? on the formal equivalence between agentic AI and the Chomsky hierarchy.arXiv preprint arXiv:2510.23487, 2025

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:15.474832Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dfd060e3-7fe6-4f31-9a7f-921021ec2d61 · outbound

This paper cites Cambridge University Press, 1978.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Cambridge University Press, 1978

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:43:23.466306Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 1d98a12b-3cbe-4a12-9ed6-04df3835b575 · outbound

This paper cites Let's Verify Step by Step.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Let's Verify Step by Step

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:15.642985Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9ecd09c-2ac4-438e-9081-f3e1b1bb0b92 · outbound

This paper cites AIGS: Generating Science from AI-Powered Automated Falsification.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable AIGS: Generating Science from AI-Powered Automated Falsification

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:15.682929Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c7aac40-453b-400b-b560-d0095277f84d · outbound

This paper cites Bernhart, Christian Höner zu Siederdissen, Hakim Tafer, Christoph Flamm, Peter F.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Bernhart, Christian Höner zu Siederdissen, Hakim Tafer, Christoph Flamm, Peter F

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:15.775702Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 15f329a0-875e-4914-ba16-d97396623f50 · outbound

This paper cites Lyngsø and Christian N.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Lyngsø and Christian N

Reference 30

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T00:43:23.300620Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 89e29219-ae77-4620-be03-9349dd52a58f · outbound

This paper cites Mankowitz, Andrea Michi, Anton Zhernov, Marco Gelmi, Marco Selvi, Cosmin Padu- raru, et al.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Mankowitz, Andrea Michi, Anton Zhernov, Marco Gelmi, Marco Selvi, Cosmin Padu- raru, et al

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:15.889892Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9cead27f-0aa0-4c28-bf8d-7ba6fdd897e6 · outbound

This paper cites McCaskill.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable McCaskill

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:15.970885Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 229e631d-f1e0-49b5-bfa6-5dc6fb16804a · outbound

This paper cites Nebel and Frank Weinberg.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Nebel and Frank Weinberg

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:43:23.161910Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation fde463a8-3e1a-417f-b4ce-455126245fb3 · outbound

This paper cites AlphaEvolve: A coding agent for scientific and algorithmic discovery.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable AlphaEvolve: A coding agent for scientific and algorithmic discovery

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:16.060856Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80a048fe-77ab-4f6e-bc0e-ac283af9c1dd · outbound

This paper cites Jacobson.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Jacobson

Reference 35

Resolution: verified exact; doi, observed 2026-08-06T00:43:19.264852Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 4c80674e-2486-427e-83c2-0a74f9a882e3 · outbound

This paper cites A helpful result for proving inherent ambiguity.Mathematical Systems Theory, 2(3):191–194, 1968.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable A helpful result for proving inherent ambiguity.Mathematical Systems Theory, 2(3):191–194, 1968

Reference 36

Resolution: verified exact; doi, observed 2026-08-06T00:43:19.071116Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation b295b2c3-b4a4-4f02-ae75-0eb2fa1f243f · outbound

This paper cites Popper.The Logic of Scientific Discovery.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Popper.The Logic of Scientific Discovery

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:43:22.989651Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 9e386c30-c2e0-41b8-9cd0-1776030b572c · outbound

This paper cites Design, implementation and evaluation of a practical pseudoknot folding algorithm based on thermodynamics.BMC Bioinformatics, 5:104, 2004.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Design, implementation and evaluation of a practical pseudoknot folding algorithm based on thermodynamics.BMC Bioinformatics, 5:104, 2004

Reference 38

Resolution: verified exact; doi, observed 2026-08-06T00:43:18.961522Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation cb7cb552-c8ee-458f-bb4b-6795aaccfae5 · outbound

This paper cites an unresolved cited work.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Unresolved cited work

Reference 39

Resolution: verified exact; raw_fallback, observed 2026-08-06T00:43:21.200977Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation a23ff5db-4468-44b6-ad8d-0e8f3bccb81f · outbound

This paper cites an unresolved cited work.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Unresolved cited work

Reference 40

Resolution: verified exact; doi, observed 2026-08-06T00:43:18.856529Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation ed4611ee-e8c6-4a7b-a5d1-f1817cb5d82a · outbound

This paper cites RNAInvBench and Pseudobase++: Pseudoknotted RNA inverse-design tar- gets, 2024.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable RNAInvBench and Pseudobase++: Pseudoknotted RNA inverse-design tar- gets, 2024

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:43:22.802155Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 314c7a40-75a0-431f-a473-8aa5a113d87c · outbound

This paper cites Pawan Kumar, Emilien Dupont, Francisco J.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Pawan Kumar, Emilien Dupont, Francisco J

Reference 42

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T00:43:22.646717Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 2af98c76-d9d2-4bb3-a053-d2a2bed61efc · outbound

This paper cites Learning to Design RNA.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Learning to Design RNA

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:16.566264Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e06ab087-1381-43ae-b4d7-37b99f3160c3 · outbound

This paper cites Saira Mian, Kimmen Sjölander, Rebecca C.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Saira Mian, Kimmen Sjölander, Rebecca C

Reference 44

Resolution: verified exact; doi, observed 2026-08-06T00:43:18.756899Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 05902cad-459e-4bca-9380-39bb26b2b62b · outbound

This paper cites Schaefer.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Schaefer

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:16.664026Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82cb6fed-d355-4564-b2b3-3e2a74bec5f3 · outbound

This paper cites Stadler, and Ivo L.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Stadler, and Ivo L

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:16.704681Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b099c12c-782a-4aa3-b227-a03085dff9b6 · outbound

This paper cites an unresolved cited work.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Unresolved cited work

Reference 47

Resolution: unresolved; raw_fallback, observed 2026-08-06T00:43:22.485931Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 11595080-036d-42e8-bb52-b9d110ead5af · outbound

This paper cites an unresolved cited work.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Unresolved cited work

Reference 48

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T00:43:22.295824Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 2e44391c-f61b-46e2-92d0-b993c34fd53f · outbound

This paper cites On multiple context- freegrammars.Theoretical Computer Science, 88(2):191–229, 1991.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable On multiple context- freegrammars.Theoretical Computer Science, 88(2):191–229, 1991

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:16.967985Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5e3e8d5-7b9a-4294-befa-b763b83cd10f · outbound

This paper cites Defining and Characterizing Reward Hacking.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Defining and Characterizing Reward Hacking

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:17.081550Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc22cb99-3de7-4265-b8ea-050cf84a7e34 · outbound

This paper cites Vijay-Shanker and David J.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Vijay-Shanker and David J

Reference 51

Resolution: verified exact; doi, observed 2026-08-06T00:43:18.614311Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation ded4a63b-88c7-458f-8be6-584f1242bf09 · outbound

This paper cites Self-Revising Discovery Systems for Science: A Categorical Framework for Agentic Artificial Intelligence.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Self-Revising Discovery Systems for Science: A Categorical Framework for Agentic Artificial Intelligence

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:17.246539Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba51d5b0-f8d4-47c9-ae83-6cc69f61d785 · outbound

This paper cites Voyager: An Open-Ended Embodied Agent with Large Language Models.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Voyager: An Open-Ended Embodied Agent with Large Language Models

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:17.344348Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 030349c8-31dd-48c1-8077-3ee421afcc76 · outbound

This paper cites Watson, David Juergens, Nathaniel R.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Watson, David Juergens, Nathaniel R

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:43:22.107590Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 335409cc-87f1-4cb3-aebb-db748103493d · outbound

This paper cites From AI for science to agentic science: A survey on autonomous scientific discovery, 2025.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable From AI for science to agentic science: A survey on autonomous scientific discovery, 2025

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:17.513957Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11edd6b2-5a8e-41c0-9187-1a5eed33c25f · outbound

This paper cites Wirecki, Grzegorz Lach, Nagendar Goud Badepally, S.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Wirecki, Grzegorz Lach, Nagendar Goud Badepally, S

Reference 56

Resolution: verified exact; doi, observed 2026-08-06T00:43:18.494604Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation ba0c86d6-c152-4a1c-b2c3-6caf8a23f9c3 · outbound

This paper cites Position: Falsify, don’t just discover—AI-generated discoveries are not born scientific.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Position: Falsify, don’t just discover—AI-generated discoveries are not born scientific

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T00:43:21.953478Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 425c36ec-9cc4-4bf3-a07f-f7b9ba3016ac · outbound

This paper cites Zadeh, Conrad D.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Zadeh, Conrad D

Reference 58

Resolution: malformed identifier; no resolver link, observed 2026-08-06T00:43:17.815230Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4804e7a9-5040-4cf2-8c5c-cfd8119c66e2 · outbound

This paper cites Mathews, and Liang Huang.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Mathews, and Liang Huang

Reference 59

Resolution: verified exact; doi, observed 2026-08-06T00:43:18.315702Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation f00c6acd-1e07-48da-b77c-57d5e23945b1 · outbound

This paper cites Undesignable RNA Structure Identification via Rival Structure Generation and Structure Decomposition.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Undesignable RNA Structure Identification via Rival Structure Generation and Structure Decomposition

Reference 60

Resolution: metadata mismatch; local_arxiv, observed 2026-08-06T00:43:20.659998Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 7246be5a-c405-4e5f-b174-8d4348c9f10f · outbound

This paper cites Scalable and Interpretable Identification of Minimal Undesignable RNA Structure Motifs with Rotational Invariance.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Scalable and Interpretable Identification of Minimal Undesignable RNA Structure Motifs with Rotational Invariance

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:18.033503Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 236d9778-709e-419b-89cf-3f6e08faef48 · outbound

This paper cites Optimal computer folding of large RNA sequences using thermodynamics and auxiliary information.Nucleic Acids Research, 9(1):133–148, 1981.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Optimal computer folding of large RNA sequences using thermodynamics and auxiliary information.Nucleic Acids Research, 9(1):133–148, 1981

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-06T00:43:18.088698Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9e770fb-adf3-4e54-b9f5-7b5b9cd2e617 · outbound

This paper cites an unresolved cited work.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Unresolved cited work

Reference 2011

Resolution: verified exact; doi, observed 2026-08-06T00:43:20.494502Z

Source-reported events for the cited work

correction dated 2011-12-13. Source: crossref record 10.1371/annotation/fb422230-9702-4eed-ad96-1c4cd2ab5e5d->10.1371/journal.pone.0026324:correction, observed 2026-07-11T03:01:52.648212+00:00. This notice travels one citation hop only.

correction dated 2011-12-13. Source: crossref record 10.1371/annotation/e1599064-95cc-47c9-bbcc-042202bf0423->10.1371/journal.pone.0026324:correction, observed 2026-07-11T03:03:21.479798+00:00. This notice travels one citation hop only.

correction dated 2011-12-13. Source: crossref record 10.1371/annotation/0a0bed45-e421-4f6a-8d7f-f48194a14516->10.1371/journal.pone.0026324:correction, observed 2026-07-11T03:04:56.339378+00:00. This notice travels one citation hop only.

correction dated 2011-12-13. Source: crossref record 10.1371/annotation/b3e79f42-7316-4ff8-9762-514120463813->10.1371/journal.pone.0026324:correction, observed 2026-07-11T03:05:31.161469+00:00. This notice travels one citation hop only.

Observation d225b3fc-6154-4e52-9825-f01d177bab91 · outbound

This paper cites an unresolved cited work.

Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side Decidable Unresolved cited work

Reference 2015

Resolution: verified exact; doi, observed 2026-08-06T00:43:19.664317Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers