{"as_of":"2026-08-10T23:05:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e2bd6fade66164f58d5f5bfd679c0d9bbe9e8511385a25342f64eceb433dc701","coverage":[{"denominator":27,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":27,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T05:30:02.110734Z","state":"measured"},{"denominator":27,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":27,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2509.05481/citation-record","integrity":"/paper/2509.05481/integrity","json":"/paper/2509.05481/citation-record.json","paper":"/paper/2509.05481"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:30:02.456618Z","title":"Synthetic biology 2020–2030: Six commercially avail- able products that are changing our world,","venue":null,"work_id":"e6521b88-ef18-4444-a4d6-0cd4e422ce76","year":2020},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.017994Z"},"links":{"citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:c7f6a53111a6c4dcf4e9a43926e7d26350e3dee2d4fa0b9f9568e64195b6c0b5","observation_id":"2aea9864-ef6b-48fa-86b2-5375c33c8bba","resolution":{"observed_at":"2026-08-05T05:30:02.460280Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:30:02.444865Z","title":"Construction of a genetic toggle switch in escherichia coli,","venue":null,"work_id":"e4b124ea-da88-41b1-84cf-fe1dbd3b3363","year":2000},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.022198Z"},"links":{"citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:ca801df93b1d77ac03f93c0d79ede3ca83907c89e7cb70d55824ed4aa87c3eff","observation_id":"a647f1c1-88dd-413a-ba1d-fed3a29e1906","resolution":{"observed_at":"2026-08-05T05:30:02.448573Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:30:02.432773Z","title":"A synthetic oscillatory network of transcriptional regulators,","venue":null,"work_id":"b18d1872-e552-48e7-8555-ba4715f090f5","year":2000},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.025983Z"},"links":{"citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:80562a06b4c7039acb0597665bc018135fb8616e97083e5f0168e1cbf0d1b496","observation_id":"481251cc-8eb9-46ad-945f-464ac3d02dea","resolution":{"observed_at":"2026-08-05T05:30:02.436557Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:30:02.421073Z","title":"Construction of an escherichia coli strain to degrade phenol completely with two modified metabolic modules,","venue":null,"work_id":"123b4b92-2a3e-4046-8b3a-e1341a5be0d6","year":2019},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.029656Z"},"links":{"citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:43a809dc509ca177a7a3c658e2a88bbbf430d3f02fd3b3abdae1ead90d8a4c48","observation_id":"9f1d94db-df96-44fd-a0c4-962b2a6dc7c3","resolution":{"observed_at":"2026-08-05T05:30:02.425004Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:30:02.409786Z","title":"An introduction to chimeric antigen receptor (car) t-cell immunother- apy for human cancer,","venue":null,"work_id":"135c5c46-bcd2-4cc5-8b85-583824a6485b","year":2019},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.033513Z"},"links":{"citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:dffc158b0cd0a527e5440630ffe82b9fba4e5c0fee0f42efe2ce79a65f3328b2","observation_id":"091a5111-8b91-4988-a703-350e0c91850a","resolution":{"observed_at":"2026-08-05T05:30:02.413384Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:30:02.397671Z","title":"A universal biomolecular integral feedback controller for robust perfect adaptation,","venue":null,"work_id":"89e878c2-d16c-4092-aca3-9603de24874c","year":2019},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.037240Z"},"links":{"citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:49f45395fae27b90a4c3b8d82e7cbfdd67822009c65d2ddd775649d81a535c36","observation_id":"aee55e0c-ebd0-4f26-b4f1-f4d8d3ef8b7b","resolution":{"observed_at":"2026-08-05T05:30:02.401825Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:30:02.385791Z","title":"Neural network computation with dna strand displacement cascades,","venue":null,"work_id":"f4f77bc7-c533-4bc3-919c-a2624729276c","year":2011},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.041669Z"},"links":{"citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:7bc2a756fa5061d340b8680a292daa081bcf3c561a8a0cdc038d2c0ba6f090d7","observation_id":"a7a53768-1590-4406-a004-54b0069f2176","resolution":{"observed_at":"2026-08-05T05:30:02.389446Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:30:02.374179Z","title":"Programming molecular systems to emulate a learning spiking neuron,","venue":null,"work_id":"e44ac4c0-244d-4685-99f9-97ea23112dae","year":2055},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.045099Z"},"links":{"citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:81ddbb4bd8b23e9a1b13a87d9beebc524b47277575a98e38d78cc524e0ed665c","observation_id":"75a1f4c0-1398-4922-859c-b6e4d6e0a3cc","resolution":{"observed_at":"2026-08-05T05:30:02.377964Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:30:02.362543Z","title":"A dynamical biomolecular neural network,","venue":null,"work_id":"c12eada2-2510-40a3-af46-0e66c271450e","year":2019},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.048814Z"},"links":{"citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:2ad9c6fd67f223940649a0801733e25d026bf8a04a5cb02e2e014c0afc21c1e3","observation_id":"060f0a69-9915-4bfc-a06f-bbc067823db2","resolution":{"observed_at":"2026-08-05T05:30:02.366117Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:30:02.351077Z","title":"Development of a neuron model based on dnazyme regulation,","venue":null,"work_id":"90424328-c050-4e1d-8bf9-94a44eed3eeb","year":2021},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.052150Z"},"links":{"citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:9c1c04642311bd3a10f0b448a647c03e97001088f6c62203d1dd89c253993897","observation_id":"bb7581fb-e1fc-4387-bc76-3c8d44614c46","resolution":{"observed_at":"2026-08-05T05:30:02.354723Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:30:02.339769Z","title":"Signaling-based neural networks for cellular computation,","venue":null,"work_id":"95d0f8a0-11c1-4f3f-90c3-a13041b6f2da","year":2021},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.055561Z"},"links":{"citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:4376bd4446bc3a8116845bdd31c47b71aa085fee59a343ec9b0ec87fa5b98bb0","observation_id":"3eb11373-0b2f-41e1-97fd-8e20939470a7","resolution":{"observed_at":"2026-08-05T05:30:02.343324Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:30:02.328060Z","title":"Interpretable policies from formally-specified temporal properties,","venue":null,"work_id":"53828228-1286-4ef0-a0e1-e9a8aa229bda","year":2020},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.059327Z"},"links":{"citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:7c0d628cb7880af9b66d953bf296f6869cc6278f8ca69e68458bb828f70fc565","observation_id":"6fb4cc7d-28ca-4e29-8071-23538b384037","resolution":{"observed_at":"2026-08-05T05:30:02.331759Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:30:02.316274Z","title":"Control from signal temporal logic specifications with smooth cumulative quantitative semantics,","venue":null,"work_id":"b5dbca4f-b0d5-4091-ab26-b39cf6506de0","year":2019},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.062820Z"},"links":{"citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:0f3a893a20dda9d3d17e1158ab362cdbb42dedba55059d1cc6c704bbec712f54","observation_id":"521fc5e4-f753-437a-a3ab-632b0625ce35","resolution":{"observed_at":"2026-08-05T05:30:02.320074Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:30:02.303784Z","title":"Backpropagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods,","venue":null,"work_id":"0dba4b38-5558-400a-bbaf-cd99f7f246ef","year":2023},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.066330Z"},"links":{"citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:0361f1aaba710b71eb7aaf4c6f6e74c377dd564572842c1adbf9a8a0ef2cef48","observation_id":"5ea4997b-e087-4a27-8e04-f94ff4558cd6","resolution":{"observed_at":"2026-08-05T05:30:02.308215Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:30:02.292550Z","title":"Temporal logic based synthesis of experimentally constrained interaction networks,","venue":null,"work_id":"859d0fd9-5a12-4b42-bae8-767655f24a31","year":2019},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.069672Z"},"links":{"citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:54b12ed77ddb0229a79f604d61a001e501385383f2ef36febc5ec43e95334f7d","observation_id":"493a46eb-43a0-426d-97fc-dc1cae458316","resolution":{"observed_at":"2026-08-05T05:30:02.296057Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:30:02.280536Z","title":"On the use of temporal formal logic to model gene regulatory networks,","venue":null,"work_id":"2cedab6d-fe1a-4933-99e0-0dd9c0b3283f","year":2010},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.072863Z"},"links":{"citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:63b8de57390a4e12ce83dc89250957169f628daa241b031a225d78489d576d92","observation_id":"fb71968c-a91a-4f69-9fc7-b731d0a19980","resolution":{"observed_at":"2026-08-05T05:30:02.284209Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:30:02.268732Z","title":"Learning biomolecular models using signal temporal logic,","venue":null,"work_id":"39fd0e1a-abaa-4748-bb4c-206b2a59fa86","year":2025},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.076509Z"},"links":{"citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:7694ed61500a1931db77f840e0fc60978cd7b88043e3ee06029eecc7e19da3dd","observation_id":"09f8eb97-94a9-42a1-92c0-e5860eaae728","resolution":{"observed_at":"2026-08-05T05:30:02.272369Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:30:02.256861Z","title":"Monitoring temporal properties of con- tinuous signals,","venue":null,"work_id":"0e8e3ff2-1cea-4202-aeed-0a1ff4214bf1","year":2004},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.079808Z"},"links":{"citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:c8006c0df6d860af3adef6e381851118dd414bb0e636974ff225dc53eb1080c3","observation_id":"9b04b6f4-02aa-4717-9f0f-8fc2facd2580","resolution":{"observed_at":"2026-08-05T05:30:02.260681Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:30:02.245107Z","title":"Robust satisfaction of temporal logic over real-valued signals,","venue":null,"work_id":"6cc0ca94-96dc-49c4-9f21-1ab4118e1cdc","year":2010},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.083110Z"},"links":{"citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:81a39bec14841e1ef5effd4a3d1287ca0abf9aa103900f76457584b167e2b6bd","observation_id":"d85030d3-7086-4121-b7a1-aba7d041aed0","resolution":{"observed_at":"2026-08-05T05:30:02.248821Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:30:02.233181Z","title":"Adabelief optimizer: Adapting stepsizes by the belief in observed gradients,","venue":null,"work_id":"bd589efe-0453-4801-bed5-ad7fd6d4df32","year":2020},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.086575Z"},"links":{"citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:af0e8fce528f9406fab86c347d08fe3f3f93b260c9d205809990d7c27ca6f42a","observation_id":"7522917b-0657-4534-8324-67954a044eb8","resolution":{"observed_at":"2026-08-05T05:30:02.236968Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:30:02.221472Z","title":"Neural ordinary differential equations,","venue":null,"work_id":"e2bc9649-8788-430c-8436-4f2052c69b40","year":2018},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.090085Z"},"links":{"citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:84f91ef34da04479a06bfbbcbe2e5b23901b7a2e24e70b6db698f12aa4146bd1","observation_id":"7c161e47-acb6-4d64-950b-1f61e4b8e828","resolution":{"observed_at":"2026-08-05T05:30:02.225185Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:30:02.207408Z","title":"Jax: Composable transformations of python+numpy programs,","venue":null,"work_id":"fd24277d-ed15-466a-a4e3-b394f3779a70","year":2018},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.093769Z"},"links":{"citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:2edf0aeec5634d9e00c498fb8d68b928e0a5695e2000f36578cdb8175b66a333","observation_id":"4412f5c0-04ef-4e0a-983a-5130526bc211","resolution":{"observed_at":"2026-08-05T05:30:02.211875Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:30:02.194717Z","title":"On neural differential equations,","venue":null,"work_id":"1e2471b9-1271-410f-ba53-d9b79acf6686","year":2021},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.097221Z"},"links":{"citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:94de218e42ed96609c695ea013aa33933c521dce3cd14ebb0b33e8c118d462a8","observation_id":"60a7e0e2-7296-4259-82b3-743d17cd8a98","resolution":{"observed_at":"2026-08-05T05:30:02.198611Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:30:02.182674Z","title":"Understanding the difficulty of training deep feedforward neural networks,","venue":null,"work_id":"d0c377d0-fe7a-479b-8b73-c20a3d8e60dd","year":2010},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.100572Z"},"links":{"citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:f0f6d4d08c98f2c9166c1eb7cb787124a7fa251cb33e29900d9eedab812c38f2","observation_id":"9a2cf8f9-aa36-4cd1-8abc-74a8d54622c6","resolution":{"observed_at":"2026-08-05T05:30:02.186515Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:30:02.169833Z","title":"Singly diagonally implicit runge–kutta methods with an explicit first stage,","venue":null,"work_id":"f1998a1b-a196-4667-b09a-d0ff511af1b1","year":2004},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.103953Z"},"links":{"citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:dfdeb0c1845cac9a6160cbc544d4a59125ddc717b59e8731e2f44bd428fc28e1","observation_id":"c2aa488d-633b-493f-ab7f-6b5ca016fb4a","resolution":{"observed_at":"2026-08-05T05:30:02.173546Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:30:02.157523Z","title":"Predicting experimental sepsis survival with a mathematical model of acute inflammation,","venue":null,"work_id":"dd34f8bd-0b77-4558-a95d-c3a026ddb8d7","year":2021},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.107393Z"},"links":{"citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:0dfeed29c41808d53f8e4781832ad8e2e3d031ba36ee25e69b3902335abf17a2","observation_id":"2908c9ee-3575-47df-bc3d-0562536899c3","resolution":{"observed_at":"2026-08-05T05:30:02.161361Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1510.07313","last_updated":"2015-10-25T22:02:48Z","snapshot_observed_at":"2026-07-06T04:34:11.293095Z","submitted_at":"2015-10-25T22:02:48Z","title":"Safe Control under Uncertainty","version":1},"cited_work":{"arxiv_id":"1510.07313","doi":null,"metadata_source":"pith","pith_arxiv_id":"1510.07313","snapshot_observed_at":"2026-08-05T05:30:02.142607Z","title":"Safe Control under Uncertainty","venue":"cs.SY","work_id":"f180e841-2b4e-4fb5-acca-2df04aed161e","year":2015},"citing_paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-05T05:30:02.110734Z"},"links":{"cited_paper":"/paper/1510.07313","citing_paper":"/paper/2509.05481"},"observation_digest":"sha256:a7977ae0164de50978e7264a2f259e32de298668dacda012944d29608ae4e1cb","observation_id":"4332bb9d-a603-4b87-aaf8-4812f787e0b6","resolution":{"observed_at":"2026-08-05T05:30:02.148457Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2509.05481","last_updated":"2025-09-05T20:13:24Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-06T00:33:49.828314Z","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control"},"reference_resolution":{"displayed":27,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":1,"verified_fuzzy":26},"total_outbound_references":27},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:2509.05481."}