{"as_of":"2026-08-15T20:44:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:db0e4b8ad9047e911d205f39283c69258ae3c4df914a7800f12bc656b4eda252","coverage":[{"denominator":67,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":67,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-27T01:14:04.350160Z","state":"measured"},{"denominator":68,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":68,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T10:48:39.776717Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-14T10:48:40.888211Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"cited_work":{"arxiv_id":"2606.18098","doi":null,"metadata_source":"pith","pith_arxiv_id":"2606.18098","snapshot_observed_at":"2026-08-14T10:48:40.888211Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","venue":"cs.AI","work_id":"be16d52c-2e79-4339-aeab-5de6da4354ee","year":2026},"citing_paper":{"arxiv_id":"2608.13459","last_updated":"2026-08-13T16:43:44Z","snapshot_observed_at":"2026-08-15T20:18:57.013901Z","submitted_at":"2026-08-13T16:43:44Z","title":"CAPRI: Contract-Aware Proof Repair for Isabelle","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T10:48:39.776717Z"},"links":{"cited_paper":"/paper/2606.18098","citing_paper":"/paper/2608.13459"},"observation_digest":"sha256:ffdb4e3b3424a9410108b8bc943f2383ee204bcc40ddc9d80939ffac93bade87","observation_id":"b6b1ffb8-36c8-4cbe-af88-6e677db7e055","resolution":{"observed_at":"2026-08-14T10:48:40.894479Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2606.18098/citation-record","integrity":"/paper/2606.18098/integrity","json":"/paper/2606.18098/citation-record.json","paper":"/paper/2606.18098"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:da45993069c4f54f05849e3c8acb379ee9cae8d8f5984186db5a7c1d6f126e8a","observation_id":"95e629d9-3bb9-4914-b47c-39ab9d298c91","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:d951eec7ab2ee2921caa7d7332a5f4202bc3285fbb64586eb3072a14bd0c3167","observation_id":"fa634693-7f72-416c-b5f0-dd27801c643e","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2203.03054","last_updated":"2022-06-12T00:54:29Z","snapshot_observed_at":"2026-08-13T16:28:39.653348Z","submitted_at":"2022-03-06T21:07:28Z","title":"Verification of Bitcoin Script in Agda using Weakest Preconditions for Access Control","version":3},"cited_work":{"arxiv_id":"2203.03054","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2203.03054","snapshot_observed_at":"2026-07-03T20:38:55.791474Z","title":null,"venue":null,"work_id":"f3d8df5a-6588-46c2-844b-79bf1b7da892","year":2022},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"cited_paper":"/paper/2203.03054","citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:32937116422026250926ef358413004a7c06fa7b4f647dde550910464bfe4cfb","observation_id":"9878a563-b389-44b4-ad33-e674d55a466d","resolution":{"observed_at":"2026-07-03T20:38:55.792767Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:8f6169b081f11a92b2a85c13873939ddcfe261e1e6088492bedb93670ccaa4d7","observation_id":"ce0ef93a-58ad-441a-8eb4-fed78418753e","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:e25bf81b88c36a4a7d6139fcedd67fbf04046336a7c58168671ff00e3cb8281e","observation_id":"c34c2a09-e287-4857-917e-ddd00abb6dd2","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":"2024.Model Context Protocol (MCP)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:8d75bd74fbfd9c181794db6e8bc96852b9333c0319b81cfc68cdb8644e78b388","observation_id":"52bf9df6-64cd-469a-8ee3-5b0e9d72c1dc","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:d86ce3cbde121c71bbde1a07d2bbe99155f5d4cb464156d0857f3ce1b19c7a84","observation_id":"1eb7fc5b-b4cd-4d3d-adf3-cee922b486dc","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:49cec212eb7ea89a2d53e074f052b31b656b9e06a8bc5e46a76dd6117d8b9ea9","observation_id":"3d3132ee-341f-4393-b7a7-adac8db2a162","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2302.02154","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T20:38:55.786700Z","title":null,"venue":null,"work_id":"26e75119-0caf-4dc1-bb1a-9bebc887ac7f","year":2023},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:5364667a1aa44b798439de7443a2fb078858146cb9f2c7b09da42e112e36bd86","observation_id":"11908429-b413-45a6-9c47-bbc9c2456c14","resolution":{"observed_at":"2026-07-03T20:38:55.788026Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:6a40afee7bc3ae40f7772cc6faa4ca57b49d64c808efb4a9482841ef86af7f67","observation_id":"3ca90ac4-7e1e-4175-a5db-7d1503df8a36","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:603a50ffd5274325d2d842d79c010465b6a6887a9aff7be29edb52d94acd18bb","observation_id":"0fcdea36-3d83-4504-9a9c-ad7359201e41","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:2fb341229a2c84afa58fcaf7c0fe6c16aa069e1ef90197621b3035fe242ee4a7","observation_id":"0b808932-4775-4569-a151-be2e7733bfa6","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:16962e002512cc59e3c21afc694d59cf8a588b804ca2069ab9b64adf2111afc0","observation_id":"10a9469a-7507-4ac8-abf5-27d8a2f48376","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:148c72de6368e3607ce4c0671447fc27f0bdb41b05c2cb0c894a82dbd0205da8","observation_id":"9c5daa50-e892-4ddb-8640-c3fbaa56b0d6","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:06986bb7205b5bcf04565b9f43723337de0dd017fddbea4e5dbf39e96749d2f2","observation_id":"1e4f09da-c2a2-482c-b33c-7219bb84ad2e","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:a424249c6a0cdfba08d126e424aa50aef29089a817f056c86979a0e81248f60d","observation_id":"81456ae8-8c4d-4656-9f4f-a7c138b44f8e","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:198461aae87d881362bb92224e31560f5b3a9bbc9116beaf926c758680df2c60","observation_id":"27945ffd-293f-42af-96a4-7e383db9c45a","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:74f4841ad15455c7a65409d5828aa2abbca0612eef84ee7bb088cc367568d00e","observation_id":"a2c4dd9d-8fb3-4f6a-b7e1-8f99383ed370","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:ced4d902770e7580f97d21675479110a3665df6a69a51e2be7cd38a0d8bc4fed","observation_id":"c10b8de7-573e-487a-aa4f-a1d01e1cfb38","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:a8f2ccf5e5fcd745baae7b96cdaa24c5204e0f8438b06bfcbf1a1f5979811f23","observation_id":"d496de7d-54bc-4549-9de1-4859a12f4669","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2601.18089","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T20:38:55.786528Z","title":"Latentmoe: Toward optimal accuracy per flop and parameter in mixture of experts","venue":null,"work_id":"9332b177-a41e-4736-8cd8-19367c9aa4da","year":2026},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:d068e3a0fa8326000f6d4e08deadfdd5117111de7af4172cacbbd4dbd2c591ad","observation_id":"fb6f4d64-6664-4abc-a81b-88f38501681c","resolution":{"observed_at":"2026-07-03T20:38:55.788176Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:7917a3479fc7ebd2713cd509b3ae62f6d4559429057ead228488d73db16aabb4","observation_id":"63cdf656-3ec6-4cc0-a717-746efa889f85","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:ba631d7384e7e81e5f62fd8bdf01404237f0ea8f95767a5552f3e17d3b2df3ff","observation_id":"0d44cf33-24b8-4e27-82a6-d2bf020d88c4","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:73584a831f1cbfa4888e072fb53808d3ed6066a629ccb34bd8c7854d440ac9e3","observation_id":"2ef876e9-ce67-43e5-829b-37db59fd2435","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.19737","last_updated":"2024-04-30T17:33:57Z","snapshot_observed_at":"2026-08-12T13:06:04.804423Z","submitted_at":"2024-04-30T17:33:57Z","title":"Better & Faster Large Language Models via Multi-token Prediction","version":1},"cited_work":{"arxiv_id":"2404.19737","doi":"10.48550/arxiv.2404.19737","metadata_source":"pith","pith_arxiv_id":"2404.19737","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Better & Faster Large Language Models via Multi-token Prediction","venue":"cs.CL","work_id":"7235774b-df35-4d85-a7ef-7deebd473172","year":2024},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"cited_paper":"/paper/2404.19737","citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:22cd7863d05135bec5a5af5453a78b79ed9560bb8d5d32ea8362c6d1bc9af95e","observation_id":"08fa4506-ef23-4b14-af1b-cd3037baa8c9","resolution":{"observed_at":"2026-07-03T20:38:55.775748Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:4063ba82c9314e62e7e8c50d2a5f9fc2c4469c66af559d780ddbc18a11941de6","observation_id":"81605333-6c66-412f-bf48-d2b023f5208c","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:c8c8467623e7f8a08d9636d137f644bb8fda91bcbb9661c39a7281f9ccb2ba50","observation_id":"2d58e56f-0f86-43cd-bd3f-6e0cdc759612","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:494748ae40333e9d3099b06363ab74e7eca9533db2e1450f08a8147f0900560b","observation_id":"d2810b95-19aa-4c60-a5e2-04bc07dc2fa6","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:3f7a296db95a2cd49ee979cd47e5621651b9c7854a022468156c0a04335f96e1","observation_id":"9b62311a-90e6-41aa-83ae-b1307180f00d","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:31e0cf36531c9bfd19630006097e4ae802c8c9d21723a9ee96514ceabc4b5391","observation_id":"a962a95c-d461-404e-baf3-b2b61c750786","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:65d05db96b3053499de35ca7ad948dcd9575a383584416944199e8d9905531fc","observation_id":"bc8e2434-f10e-4568-85d2-604b3c84aad3","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:d8c543363af9f83d430335f138739e6686e5a4f8727b4e6df95b5d7fd79aed19","observation_id":"307cc278-692c-420a-92b1-2dce53406bcd","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":"Jiang, Wenda Li, Jesse Michael Han, and Yuhuai Wu","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:6c9645fc33b05b5547427f165888496209678bb4f4ab5c48e96126e79f025ee0","observation_id":"542ea6cc-960f-47c7-9db0-adef44d89788","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:445da8f04c1f57c5ae24c2841183cade018ef668ce80d3d1887211f62813a7de","observation_id":"c530bb18-6684-4224-8293-9494d33166a9","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:e078bb906137a792f0a117cc7de27d4dca5f6ab4bcce8462cdf667f0aaf63edb","observation_id":"8022ccb7-3820-4636-8136-ce75019ce66a","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:8a89fea105ec692fc2d5f9ae352764131c279be2b9aba33a8f145afcb0f394c4","observation_id":"c0aa748c-bbc1-4b10-8b23-43cb856575d6","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.14794","last_updated":"2025-05-31T18:23:19Z","snapshot_observed_at":"2026-08-09T02:52:28.921043Z","submitted_at":"2025-05-31T18:23:19Z","title":"Assembly of Experts: Linear-time construction of the Chimera LLM variants with emergent and adaptable behaviors","version":1},"cited_work":{"arxiv_id":"2506.14794","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2506.14794","snapshot_observed_at":"2026-07-03T20:38:55.794252Z","title":"Assembly of experts: Linear-time construction of the chimera llm variants with emergent and adaptable behaviors","venue":null,"work_id":"1e1792d2-26e8-4cf4-b365-dea87089ef57","year":2025},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"cited_paper":"/paper/2506.14794","citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:cf22d5a7e0b7c68f94c25fbebdc57c3d3949b3c25d321560d387d30137cc5940","observation_id":"959cd4fe-d3ad-4931-b7fb-64d68181ff65","resolution":{"observed_at":"2026-07-03T20:38:55.795889Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:2d569025e53c3218e3a3decaed3bb4ee555634f280b729edaabe0a1da87152c9","observation_id":"a1493e07-16ca-49a8-b491-3253b20428c6","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:fc3705048b8fcb0a117d6af3cbbc240f3c9e7dd3112a9fc53253140154568f74","observation_id":"dc2a14d0-dc50-43cf-b087-9a005ef57615","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:3a775ce849411ea6adaede9314f504984032de3e91385e597de2b7e7dd730397","observation_id":"6f7b5dd4-314e-4b34-9657-cdd435fb15f6","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2006.09265","last_updated":"2021-03-24T16:45:18Z","snapshot_observed_at":"2026-08-02T03:54:05.073106Z","submitted_at":"2020-06-13T21:09:23Z","title":"IsarStep: a Benchmark for High-level Mathematical Reasoning","version":2},"cited_work":{"arxiv_id":"2006.09265","doi":null,"metadata_source":"pith","pith_arxiv_id":"2006.09265","snapshot_observed_at":"2026-07-10T18:17:33.909238Z","title":"Isarstep: a benchmark for high-level mathematical reasoning","venue":"cs.LO","work_id":"041426b8-8f15-4699-bca5-5b2baff7ce24","year":2020},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"cited_paper":"/paper/2006.09265","citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:aa0befb8b5645b0e764aa60433049eb69ef4d396bbe0665a4e5ff7dbf597bcbd","observation_id":"73016a93-25ef-4512-863a-7775d9a78092","resolution":{"observed_at":"2026-07-03T20:38:55.793201Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.14408","last_updated":"2024-06-21T02:51:41Z","snapshot_observed_at":"2026-08-13T08:47:56.819197Z","submitted_at":"2024-06-20T15:31:05Z","title":"FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving","version":2},"cited_work":{"arxiv_id":"2406.14408","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2406.14408","snapshot_observed_at":"2026-07-03T20:38:55.778131Z","title":"Fvel: Interactive formal verification environment with large language models via theorem proving","venue":null,"work_id":"dd62d493-2053-40ff-ba03-fdbf4ead667f","year":2024},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"cited_paper":"/paper/2406.14408","citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:a0323627fe407fe9a35e196a37c3c604004c1ddb5302cf8a937fd28ee013957f","observation_id":"6245faa5-3cce-48ea-8629-0dea3309fa10","resolution":{"observed_at":"2026-07-03T20:38:55.780120Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.02580","last_updated":"2024-12-06T08:41:01Z","snapshot_observed_at":"2026-08-14T04:08:17.816007Z","submitted_at":"2024-05-04T06:28:27Z","title":"PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation","version":2},"cited_work":{"arxiv_id":"2405.02580","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.02580","snapshot_observed_at":"2026-07-03T20:38:55.775349Z","title":"arXiv preprint arXiv:2405.02580 (2024)","venue":null,"work_id":"7c591feb-b353-41d3-976c-ec7a256d767d","year":2024},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"cited_paper":"/paper/2405.02580","citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:a91fd2edfcfec0ce0ca40e3eba90b8d6a7a4a4ffc4270131f0d4c6f08d25f8fa","observation_id":"92448171-61a5-4c80-a78e-d8828c62a9e6","resolution":{"observed_at":"2026-07-03T20:38:55.776840Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:976fec70ca15efedaeaa98b43486f379e763824778e67f8e7d2bf64ef7a1001f","observation_id":"562e18ba-f7f2-4aa0-9e59-dc21396f30c6","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:c21f25e5a7790091c41f2b976930bf92310bddeb2671d5fcf4fdd4cc8d204213","observation_id":"82565bc0-dfa3-4a0e-a877-2ee8617a9fe9","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:fcbb6152224157b6ad817bd87f6e94953bd1943c3de610c6588391902cd2b07e","observation_id":"95a5ddde-4076-4b65-b3e7-aab9470bc7e5","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:18a3e11e06c68afba2f3d6354c245156e326f7c3132f0ecb7d23f7b0a02cf4fe","observation_id":"ae1dd6a3-f753-4174-98ba-3c9a2880d221","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":"2002.Isabelle/HOL: A Proof Assistant for Higher-Order Logic","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:13531905c33bda51a8ca58ceadcbafe24c4e2d57cd11d740b718ccd4119a3229","observation_id":"b0b83409-1744-4a47-87ab-1774f56dd467","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:35839de94512d12cd209391a5c5fe6d37dcf5e3f365987eb4365296937ba9f0a","observation_id":"6df7889e-4d83-4c22-8258-775056d932e4","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:c1e11c69777ef2e65dca413475e92729194045c7474a1d76e70a8943cc549f34","observation_id":"94023c4f-5e11-47cc-9f39-195e365c02ee","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:643cfb05da6f7f179ebc91964059d9423d2c253d235470657070416a5336b49b","observation_id":"bb83cb21-4de5-4392-8b1d-9ae59f99c50a","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:46bb65ed197acc70e37daead658cdf1c6c0620490945db062060bcebbea1a594","observation_id":"98f5f69e-4ef0-4a89-b25b-7fcfbc788d42","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06064","last_updated":"2024-02-08T21:21:13Z","snapshot_observed_at":"2026-08-13T04:22:59.909566Z","submitted_at":"2024-02-08T21:21:13Z","title":"Formalizing Automated Market Makers in the Lean 4 Theorem Prover","version":1},"cited_work":{"arxiv_id":"2402.06064","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.06064","snapshot_observed_at":"2026-07-03T20:38:55.789213Z","title":"Formalizing Automated Market Makers in the Lean 4 Theorem Prover","venue":null,"work_id":"383da9dd-cbdb-4729-9c1e-6b3a4e5bc7b2","year":2024},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"cited_paper":"/paper/2402.06064","citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:14a77e568824c23d8af39ce038737a0d77a05ab010a9c0af6aecaed7c9ecd693","observation_id":"7a4c5b31-14f0-4208-b9dd-add98bf570c3","resolution":{"observed_at":"2026-07-03T20:38:55.790661Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1908.10084","last_updated":"2019-08-27T08:50:17Z","snapshot_observed_at":"2026-08-14T05:02:11.716316Z","submitted_at":"2019-08-27T08:50:17Z","title":"Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks","version":1},"cited_work":{"arxiv_id":"1908.10084","doi":"10.48550/arxiv.1908.10084","metadata_source":"pith","pith_arxiv_id":"1908.10084","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks","venue":"cs.CL","work_id":"27adfcc9-2a67-43d6-a844-78309012411f","year":2019},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"cited_paper":"/paper/1908.10084","citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:3364ffb5ef276eff386d7bbe121cec91cc61b53e1bb554366b23770c13128986","observation_id":"1f9cfc67-0d99-4691-a3c3-c8e5a126c7e4","resolution":{"observed_at":"2026-07-03T20:38:55.782562Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-07-12T06:19:15.148899+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T06:19:15.148899+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:7eacaa3e668d82730bc631d60c0fd738f168344ddaefdeb357bf7324bbb0c62e","observation_id":"a9f672dc-7247-46a0-b583-e03e98a8c6d0","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1804.06398","last_updated":"2018-04-17T17:52:46Z","snapshot_observed_at":"2026-08-14T19:24:56.252794Z","submitted_at":"2018-04-17T17:52:46Z","title":"Modelling Bitcoin in Agda","version":1},"cited_work":{"arxiv_id":"1804.06398","doi":null,"metadata_source":"pith","pith_arxiv_id":"1804.06398","snapshot_observed_at":"2026-07-03T20:38:55.773142Z","title":"Modelling Bitcoin in Agda","venue":"cs.CR","work_id":"490d4241-17e4-4185-911d-acba25abf5f9","year":2018},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"cited_paper":"/paper/1804.06398","citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:f9bee54fcdc2c7a5128755e2615eeaa17fa67f8fab95bd5471d6c99b2f662c20","observation_id":"ef9d5fd2-bc6f-4836-b54b-ab813db14300","resolution":{"observed_at":"2026-07-03T20:38:55.774172Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:4a9fba6e6a2a1ba30433b523b367d0b5ea01f65d0ba94efc492e4e0324aa66d3","observation_id":"612a85c2-8fca-49e1-a56f-0b7325b0a206","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.07641","last_updated":"2023-05-12T17:51:02Z","snapshot_observed_at":"2026-08-13T11:43:34.950496Z","submitted_at":"2023-05-12T17:51:02Z","title":"High-fidelity treatment for object movement in time-dependent Monte Carlo transport simulations","version":1},"cited_work":{"arxiv_id":"2305.07641","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2305.07641","snapshot_observed_at":"2026-07-03T20:38:55.771585Z","title":null,"venue":null,"work_id":"22c6d880-f0f2-486d-8425-3d81a3d6d77d","year":2023},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"cited_paper":"/paper/2305.07641","citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:0b4eb0a14f1cf3482b1d7f15c4205d65bddd2ef962ae2366b8eb7c557eb804a6","observation_id":"7fd414f0-4350-4a72-8f5f-4cdac09fae40","resolution":{"observed_at":"2026-07-03T20:38:55.773194Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:97e659b14e9465ff8c39979cf30d9affe7c8c7cda12d093cdb1ddff7e0ef912d","observation_id":"85bd8380-07b3-4241-9a65-293c29c696d8","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:45e13a0548485220f7cad9b3594c5e445d9bc34d6a9555c2bcb9d0ba1b783dc8","observation_id":"9b6e5c50-c284-4997-b113-83e9def0d6a4","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:fb1ad99cb18870f3e67d44b7ff44f7e7e88471c522b2478c2f81712605a20732","observation_id":"9a5dc427-43d3-40e6-b9ba-82488abc698e","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.00656","last_updated":"2023-10-27T12:44:32Z","snapshot_observed_at":"2026-08-13T05:59:56.401861Z","submitted_at":"2023-10-01T12:47:59Z","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","version":3},"cited_work":{"arxiv_id":"2310.00656","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2310.00656","snapshot_observed_at":"2026-07-04T19:10:04.276956Z","title":"URL: https://arxiv.org/abs/2310.00656","venue":null,"work_id":"ba7b923c-31a8-402f-8437-764efbd6e2ba","year":2023},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"cited_paper":"/paper/2310.00656","citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:de3f2953cfce532378316ffb6d17ef3c38ac8439656b5e16e7f4235c87dcecb7","observation_id":"37be89b3-700b-4ef8-95d9-16beca363e81","resolution":{"observed_at":"2026-07-03T20:38:55.790303Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:6539a42b1a30601ef6470158b8f4a2d7b471631854fee1493301841ab380c3f8","observation_id":"22b33372-8113-4dd6-86af-f315e24ca107","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.14333","last_updated":"2024-05-23T09:03:42Z","snapshot_observed_at":"2026-08-13T00:00:48.229211Z","submitted_at":"2024-05-23T09:03:42Z","title":"DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data","version":1},"cited_work":{"arxiv_id":"2405.14333","doi":"10.48550/arxiv.2405.14333","metadata_source":"pith","pith_arxiv_id":"2405.14333","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deepseek-prover: Advancing theorem proving in llms through large-scale synthetic data.https: //arxiv.org/abs/2405.14333","venue":"cs.AI","work_id":"dbc70c01-dc01-42b7-8edc-25b7f061d5d6","year":2024},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"cited_paper":"/paper/2405.14333","citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:05585b7b747482e1854febb3f71cf333c96487af31f1024ee65bdf71883e3aab","observation_id":"a0ef6e04-e3e2-4bd8-896b-cb504058f745","resolution":{"observed_at":"2026-07-03T20:38:55.795308Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-02T03:08:14.905938+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T03:08:14.905938+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:6b2715720a050e9ecceae83a6ff30c715c851b1436a8a703b25a8ba13a71adda","observation_id":"8871effb-0e31-4094-bfa6-5d53ae4770cc","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:3a1b9b91b98af34f95f3863ee469e003378514929cffe9234559d68f8f52c761","observation_id":"a95eb960-4f76-4004-bb51-906fb7611bb5","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T01:14:04.350160Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:31db6e6eb11c575f1c3f313111dbc48e227d76510499f0b0668ff2f6e043f405","observation_id":"1d37b3d2-184d-497f-ac86-3241d1983c9a","resolution":{"observed_at":"2026-06-27T01:14:04.350160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus"},"reference_resolution":{"displayed":67,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":53,"verified_exact":13,"verified_fuzzy":0},"total_outbound_references":67},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 67 of 67 outbound references and 1 inbound Pith citation observation for arXiv:2606.18098."}