{"as_of":"2026-08-20T14:12:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:aeefb187591d40c21f96b6e91e1491ac7f0b343353ffc00ef4a861a1d85baac7","coverage":[{"denominator":37,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":37,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T19:04:59.799739Z","state":"measured"},{"denominator":37,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":37,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+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/2506.18171/citation-record","integrity":"/paper/2506.18171/integrity","json":"/paper/2506.18171/citation-record.json","paper":"/paper/2506.18171"},"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-15T19:05:00.359985Z","title":"In: Proc","venue":null,"work_id":"a6cb167f-01ac-41e9-943e-6ebb184a411c","year":2017},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.661559Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:f7c0c878b9bc694cd13dbe934a03ca93423a237060ccedf2d2e493ee7a9616f4","observation_id":"36f254cb-4960-42e0-ac12-3416a0022ad4","resolution":{"observed_at":"2026-08-15T19:05:00.364674Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1308.6833","last_updated":"2013-08-30T19:58:34Z","snapshot_observed_at":"2026-08-15T07:52:59.941317Z","submitted_at":"2013-08-30T19:58:34Z","title":"Stability of Polynomial Differential Equations: Complexity and Converse Lyapunov Questions","version":1},"cited_work":{"arxiv_id":"1308.6833","doi":null,"metadata_source":"pith","pith_arxiv_id":"1308.6833","snapshot_observed_at":"2026-08-15T19:04:59.832673Z","title":"Stability of Polynomial Differential Equations: Complexity and Converse Lyapunov Questions","venue":"math.OC","work_id":"5d77d0c2-1d67-48a3-85c7-c4343236cb93","year":2013},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.666297Z"},"links":{"cited_paper":"/paper/1308.6833","citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:14eb06ac05f459fe337baf9297d21a93658fbaa952838a959debd2773c0d2e79","observation_id":"2255d790-bb59-4d9c-8388-0db4c763e1cf","resolution":{"observed_at":"2026-08-15T19:04:59.838247Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:05:00.347482Z","title":"In: Proc","venue":null,"work_id":"7299fec7-ad4e-41f2-8c1e-020439fdf5b0","year":2020},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.670460Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:4eafd650c581a610520b9ca2814604da7094f2ede6f454dc3fb6f3ea61d952fa","observation_id":"46b37c4e-050a-4b66-bf67-c49a9a4c3164","resolution":{"observed_at":"2026-08-15T19:05:00.351554Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:05:00.335955Z","title":"In: Proc","venue":null,"work_id":"ea8ca039-8fc5-4ff9-9297-a4142389e495","year":1976},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.674207Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:df282c20693132ad6cf9b9bc27b2eba33da73ce166bd38d7a57f44abae836121","observation_id":"5342f15a-e073-4f46-8a19-6beef1c3b3e7","resolution":{"observed_at":"2026-08-15T19:05:00.339682Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:05:00.323458Z","title":"Handbook of model checking pp","venue":null,"work_id":"c70b03c2-1d73-4cf3-bf1f-9096dc820a4f","year":2018},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.678171Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:75beb077345b2e87e51b8f52fdfb8099e19eb1f9a6dd249127e1f8da07d34b3d","observation_id":"586a6bea-eee3-4703-ac5b-4e32bbad0df4","resolution":{"observed_at":"2026-08-15T19:05:00.328317Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:05:00.310881Z","title":"Advances in neural information processing systems32 (2019)","venue":null,"work_id":"85b543a7-eb3f-44be-8a30-1c3842c688a4","year":2019},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.681673Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:94fd8cba5c767ae0771617cca3653b17b8b45f587bb17f5c83fc9491a9751e2c","observation_id":"c78913c8-6094-4234-b793-ffbee5398b30","resolution":{"observed_at":"2026-08-15T19:05:00.315101Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:05:00.299254Z","title":"Springer, 4 edn","venue":null,"work_id":"ffde80c0-c431-4ecd-b2c1-0a5b0125c385","year":2015},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.685430Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:2e8d0675c75cf2691c8bda00726d10e84a35de328c06305fd86fb1838eace21c","observation_id":"5d379ac3-a94f-4f30-ac76-eacf88a45c23","resolution":{"observed_at":"2026-08-15T19:05:00.303038Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-08-15T19:04:59.688627Z","title":"In: International conference on Tools and Algorithms for the Construction and Analysis of Systems","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.688627Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:e340b91eaab5a959ef792e64dd3e5f951a3767c15bc160b57e707e938dde314e","observation_id":"3d21dd93-ed52-4517-8a97-ac02d2641ed6","resolution":{"observed_at":"2026-08-15T19:04:59.688627Z","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-08-15T19:04:59.691936Z","title":"In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.691936Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:e2f1afac67ab0c9f1b011c85195f31539ba6631f6744415a31c126a4609ffe86","observation_id":"f66dd0d8-e1b8-4ba6-a125-fbc7e6d4c382","resolution":{"observed_at":"2026-08-15T19:04:59.691936Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:05:00.274097Z","title":"In: 2020 7th International Conference on Control, Decision and Information Technologies (CoDIT)","venue":null,"work_id":"0c781e91-51d6-43ad-8856-eec152a51173","year":2020},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.695267Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:92d9d7b199fd5b600154244b3734f0e1a39721832c8426fb29dc534647f3c148","observation_id":"17be9605-8138-4eb4-9ecc-3ea3ae6838c4","resolution":{"observed_at":"2026-08-15T19:05:00.277995Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:05:00.263387Z","title":"Springer (2007)","venue":null,"work_id":"b5889f9e-f558-4cb7-b091-ad1e54acc9db","year":2007},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.698579Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:b33bbcfa89924cb2b759d94b348a05e41581d89034c35c122f8382a59cb3a540","observation_id":"0ec8131d-4b43-4352-985b-31bb22ba1bed","resolution":{"observed_at":"2026-08-15T19:05:00.267132Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:05:00.252483Z","title":"Discrete and Continuous Dynamical Systems-B20(8), 2291–2331 (2015)","venue":null,"work_id":"ecbf5202-40d8-4107-bbe0-907be91a1a41","year":2015},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.702413Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:c3d5166fca99e6e4aad32bfd231d261551a425a62502c561eecb8a4fa23850d6","observation_id":"2462e4f4-e7ad-4995-be6b-62fb4dea301b","resolution":{"observed_at":"2026-08-15T19:05:00.256131Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:05:00.242588Z","title":null,"venue":null,"work_id":"3f35c566-277d-4232-8903-377605f12137","year":2023},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.706543Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:558d41e77c05bf83a53515b7551f351742a1320904787a8837bc7f88d89a857e","observation_id":"fd110591-9856-4e93-8262-eb1badc54c90","resolution":{"observed_at":"2026-08-15T19:05:00.245849Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:05:00.231290Z","title":"In: Proceedings of the 17th international conference on Hybrid systems: computation and control","venue":null,"work_id":"f23f546c-2290-4583-8f8a-8332f4de2dec","year":2014},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.710311Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:7b302d639ec6442499fa7c58b4ac509108b8a67dab5b2a1f6571ff212e2b091f","observation_id":"7ae756a9-77be-4160-9b1c-97e9252758cc","resolution":{"observed_at":"2026-08-15T19:05:00.235122Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:05:00.219589Z","title":"Prentice-Hall (2002)","venue":null,"work_id":"7deee14a-349c-4db0-a9a5-d0e8f3765d0a","year":2002},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.713757Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:2650c151d5d5dc62b847f9afb9ea2830a6892a9f729cbafa7d772cbbd282c64b","observation_id":"f43e52cb-34d8-4d66-a4c3-fc6d45d3c4f8","resolution":{"observed_at":"2026-08-15T19:05:00.223571Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:05:00.207388Z","title":"Academic Press (1961) Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions 19","venue":null,"work_id":"4cfca09e-8ba5-48a3-a8a9-4a4d6b40fe14","year":1961},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.717191Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:6b7a227e8158f85357cae2faa7e6fd38bebd1b01cb1c09b808838ac8a2163011","observation_id":"4a4e4b6e-67e4-4026-826c-a33f63a8cf24","resolution":{"observed_at":"2026-08-15T19:05:00.211609Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:05:00.194700Z","title":"Mathematics in Computer Science6(4), 395– 408 (2012)","venue":null,"work_id":"4762578d-c28e-49d6-aa44-ed4084f68e14","year":2012},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.721145Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:44cdd771165bdf8a2c884c96966b059977a0f8fb630e6cabb84ebd8b54ef1077","observation_id":"dd93fa6b-05e4-4c98-969f-cd1bdc1adb3b","resolution":{"observed_at":"2026-08-15T19:05:00.199245Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:05:00.182329Z","title":"arXiv preprint (2025)","venue":null,"work_id":"8a11941f-1118-49a3-9e59-7eefd8239613","year":2025},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.724825Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:ead6d59507588d675e5756c95d5bb95c5956adccce7bfbea5aba705cfa2aae35","observation_id":"3b65cab2-4e4c-46ce-8eab-40e8c2a9b0ed","resolution":{"observed_at":"2026-08-15T19:05:00.186516Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:05:00.062111Z","title":"In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control","venue":null,"work_id":"bfcfc05d-622c-453b-90e4-fdd259025a95","year":2024},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.728729Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:d33016d2194c1eabd66d05f11d26030a3454a4cc66d8e830243d5d85940a3499","observation_id":"9b0e4442-d19c-4725-b790-a93a7ad0a70a","resolution":{"observed_at":"2026-08-15T19:05:00.066215Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:05:00.051012Z","title":"Automatica 175, 112193 (2025)","venue":null,"work_id":"395bb3a8-9b2a-49dd-b619-e2107eee5292","year":2025},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.732472Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:409c4bb758096729f43a812bf72f13697e53800d568132d13243c445f20ccb03","observation_id":"9246200a-5aeb-4836-83df-ceee8bf84193","resolution":{"observed_at":"2026-08-15T19:05:00.054860Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:05:00.039517Z","title":"International journal of control55(3), 531–534 (1992)","venue":null,"work_id":"fb759067-a2ba-4184-8d79-74be2947cd08","year":1992},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.736315Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:4d72b78108f50c43b379c2ca01d17452cc5318182d8ae6c5bbce3503224fa1e1","observation_id":"1f2e9d36-79ed-4c05-95ce-530ddfe1a2ba","resolution":{"observed_at":"2026-08-15T19:05:00.043519Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:05:00.026209Z","title":null,"venue":null,"work_id":"f6cff138-8199-43a7-af91-4772d94e0fd1","year":2013},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.740498Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:3e57d261611ff6bd9b1f0d639df7c4790f7606379479bc8a82e56165dcb0cd9d","observation_id":"5b16dd7e-9717-459d-918b-e9be0e59854e","resolution":{"observed_at":"2026-08-15T19:05:00.030328Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:05:00.013103Z","title":"In: Proceedings of the 41st IEEE Conference on Decision and Control, 2002","venue":null,"work_id":"77ee34d3-fdb9-4503-b4b6-fda647736020","year":2002},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.744068Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:9b271907ca44268a6622760a916a24fb46d05f64347067a840537fe68c17e635","observation_id":"85021eca-1169-4768-9db7-437b8dad299c","resolution":{"observed_at":"2026-08-15T19:05:00.017236Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:04:59.997144Z","title":"In: 2015 54th IEEE conference on decision and control (CDC)","venue":null,"work_id":"8462d1f6-8a9e-4787-98b5-98166598ac19","year":2015},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.747977Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:8841e4c1dea8c42c2c4fa7e5915d61eee99db05626c0956ebfff1483061eb23b","observation_id":"177ded67-9fc6-4749-99f4-f78a134db7d4","resolution":{"observed_at":"2026-08-15T19:05:00.001971Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:04:59.986473Z","title":"Autonomous Robots 43, 275–307 (2019)","venue":null,"work_id":"a6055216-3cc1-4124-8067-a4180fafd92d","year":2019},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.751381Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:570eccb110ee0226a3a1d868b67281b5a4af2ecdbd155a6b98b433507b79259c","observation_id":"03b99caf-ebc1-495e-8fd8-44fa8362e0ee","resolution":{"observed_at":"2026-08-15T19:04:59.989772Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:04:59.976161Z","title":"IFAC Proceedings Volumes46(23), 576–581 (2013)","venue":null,"work_id":"7f4f454a-de11-4f65-bf9a-c072b01811f5","year":2013},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.755117Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:57d6797d4e4028b977d6733d98e75c290fb5d6711d27c0cedd56d860b4bc718a","observation_id":"76f5c007-82c8-48a5-ad52-f69006538b30","resolution":{"observed_at":"2026-08-15T19:04:59.979169Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:04:59.964798Z","title":"Journal of Symbolic Computation 58, 41–63 (2013)","venue":null,"work_id":"fb52d6c2-6b26-46d5-a5e5-1ba450bab385","year":2013},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.758619Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:460f51b05b65c86adaa091bf8dfc4488860e77f5e3e8a3c8562ce4331624a6fc","observation_id":"ebd36443-6d2c-4145-aa69-5f5f44e0e858","resolution":{"observed_at":"2026-08-15T19:04:59.968891Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:04:59.953594Z","title":"Nonlinear Analysis: Hybrid Systems3(4), 588–596 (2009)","venue":null,"work_id":"9d0267e9-0ed9-4b9e-a917-2910ee11e84e","year":2009},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.762204Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:3177d84752dce3bae0ff501ff98393e88738be93dcbd319e7bf66c83e2487eb8","observation_id":"c2c86d6b-ad13-443a-8ebd-2207b7f5e2c3","resolution":{"observed_at":"2026-08-15T19:04:59.957603Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:04:59.942004Z","title":"Optimization Methods and Software11(1-4), 625–653 (1999)","venue":null,"work_id":"5d78c1f5-6179-4240-aca8-6b2926496926","year":1999},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.766174Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:da3064946a3e8a5c12a3bb3506a2c7adfe037abcb809a07f9767adb5fb6e45c8","observation_id":"ad2579a1-6d35-4117-b532-f586ad19f3a2","resolution":{"observed_at":"2026-08-15T19:04:59.946105Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:04:59.930259Z","title":"Automatica44(10), 2669–2675 (2008)","venue":null,"work_id":"57a9f375-e8aa-4f8d-ab3d-d00537b89eb6","year":2008},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.770102Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:9ada8390acaadc2f020f4414ed7fc15d3619a40f9a6267543876e0649a50e27e","observation_id":"fe495544-7d01-4b1f-8c3d-120e852ad243","resolution":{"observed_at":"2026-08-15T19:04:59.934308Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:04:59.917504Z","title":"Nature methods17(3), 261–272 (2020)","venue":null,"work_id":"a5f4fa66-19bc-494d-8d73-579c32cb9a5e","year":2020},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.773473Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:546c915543ac7a2c74a0bb92adcc50be637ab688bff4c05c403f3903b534d1bc","observation_id":"c5cdcdae-98cd-425b-b142-00a548d09cd2","resolution":{"observed_at":"2026-08-15T19:04:59.921557Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:04:59.904832Z","title":"Advances in Neural Information Pro- cessing Systems 35, 29113–29125 (2022)","venue":null,"work_id":"8a75e23e-0e3f-44e4-b2b2-eb0c45510820","year":2022},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.777043Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:4e4fe3cf9c7a06bbb59ff0b27b392b8bc1b4b9e05ac9619465e74fb9ea79c1ec","observation_id":"5ee43f53-bf3d-4e6e-85f9-760bafca1da9","resolution":{"observed_at":"2026-08-15T19:04:59.909290Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:04:59.892093Z","title":null,"venue":null,"work_id":"1b0a854d-46ff-4c90-85c0-7ac6f09ef335","year":1961},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.781388Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:162c65a78dd399e6bfa789adff5a668ac39d504c8a990d55e05a2a6b3066f095","observation_id":"462527ac-5527-43fa-bf63-81b2b43a02c4","resolution":{"observed_at":"2026-08-15T19:04:59.896324Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:04:59.880100Z","title":"(E4) Consider the model [26] ˙x = −x3 1 +x2 −x1−x2","venue":null,"work_id":"60a58713-f230-420e-a6ce-628ecfb3f55f","year":null},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.785395Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:30eea7e14bb67898707c0dd8058860e13e099a5bf91fddadf325494d95bda0db","observation_id":"005f2ef3-f110-4335-a6d6-cf9bc9af5f08","resolution":{"observed_at":"2026-08-15T19:04:59.883830Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:04:59.867781Z","title":null,"venue":null,"work_id":"2e06c7d1-03ba-4845-aa8d-b6314e939ab2","year":null},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.789996Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:3469bd57c1fb05f973c575cf60c4aa295c6b23ced67dbe57e9bab80ee3dc4d4c","observation_id":"d6843bc9-2e2a-44ae-b08e-5185f3b5acb8","resolution":{"observed_at":"2026-08-15T19:04:59.871668Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:04:59.856671Z","title":null,"venue":null,"work_id":"ac326649-fcdd-4b55-bec3-318438f3b939","year":null},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.795313Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:0ca8462550c1f1d2f5d70f1299dcd7932a7572857f1c0e8d16ecced4b4c1b66b","observation_id":"3f9b7ae1-8836-4c61-90c7-ec0843083fed","resolution":{"observed_at":"2026-08-15T19:04:59.860531Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-15T19:04:59.846217Z","title":null,"venue":null,"work_id":"d3c5c523-62a1-4342-bc13-59ab00a565a0","year":null},"citing_paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-15T19:04:59.799739Z"},"links":{"citing_paper":"/paper/2506.18171"},"observation_digest":"sha256:19ea4357eef0d36a239af27e08a4dbeeea07b0e6b3abdeac86bcac7d00d847d7","observation_id":"8c464924-55d4-4f5d-a914-46d885d80dbc","resolution":{"observed_at":"2026-08-15T19:04:59.849478Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.18171","last_updated":"2025-06-22T21:10:47Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-17T20:15:23.720953Z","submitted_at":"2025-06-22T21:10:47Z","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions"},"reference_resolution":{"displayed":37,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":8,"verified_exact":0,"verified_fuzzy":28},"total_outbound_references":37},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 0 inbound Pith citation observations for arXiv:2506.18171."}