{"as_of":"2026-08-16T16:54:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:75820e432e432b1d3a5f7e4554e86ade1f311e77fae2d3f6f325c247cf5967e8","coverage":[{"denominator":33,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":33,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T19:35:56.722443Z","state":"measured"},{"denominator":33,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":33,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+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/2411.10601/citation-record","integrity":"/paper/2411.10601/integrity","json":"/paper/2411.10601/citation-record.json","paper":"/paper/2411.10601"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:35:56.598694Z","title":null,"venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.598694Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:44494c386670a858a642e194c129d48899bfdbe979dbe22ceabdb3c9e27f8fe6","observation_id":"3a0bb844-f730-4204-a559-44fb29bf3f9a","resolution":{"observed_at":"2026-08-12T19:35:56.598694Z","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-12T19:35:57.292736Z","title":"In: International Conference on Computer Aided Verification (2018)","venue":null,"work_id":"a4710bbc-6d85-49a0-99ac-a371f46ee5b4","year":2018},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.603349Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:b92c521e41a0fe7e3050840fb7ea3971fd97239d1672dbbbb9b736ecaa80ce7f","observation_id":"a73e1b5b-f0c7-4608-8212-7b24a74df37d","resolution":{"observed_at":"2026-08-12T19:35:57.296479Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T19:35:57.282274Z","title":"In: Conference on Algebraic Infor- matics (2015)","venue":null,"work_id":"b57a8e49-9573-46d8-869e-bc9008018e13","year":2015},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.607728Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:2b553c032fd2bcc65f85296d8d4b4e0669cafa109e079dca05c6cdc1f68d29ee","observation_id":"f7e8b7ca-aee9-418c-9069-ba02beda2bb9","resolution":{"observed_at":"2026-08-12T19:35:57.286005Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T19:35:57.271449Z","title":null,"venue":null,"work_id":"bdabf816-232a-4a22-8abb-ae15c39af205","year":1994},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.611775Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:470a6daf462ac66f94531d32ec1a5777ddbfef7a5e30e4c306eae74795687396","observation_id":"3aa0c2d3-da8d-4d50-8b40-d52679ad4e73","resolution":{"observed_at":"2026-08-12T19:35:57.275141Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T19:35:57.261298Z","title":"ACM Transactions on Human-Robot Interaction13(2), 1–27 (2024)","venue":null,"work_id":"1f86c2a4-f656-41cb-9da2-379d3bc2a311","year":2024},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.615916Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:57070ae858da18122cb1f41f03b4473b38f996369031b84cbce708c9157e0564","observation_id":"d4b60829-286f-447f-afb0-34ef84814082","resolution":{"observed_at":"2026-08-12T19:35:57.264888Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-89716-1_1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"weighted automata","venue":"Lecture notes in computer science","work_id":"26be5541-3275-4de2-8df8-dffbbeea8056","year":2021},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.619794Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:e4a44042961965bc93998491fe8d4d55f874fe8158bd2ee5ce55ac85718b5323","observation_id":"335d6dcf-b06c-4a90-a619-d4750774ac6c","resolution":{"observed_at":"2026-08-12T19:35:56.790067Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T19:35:56.623968Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.623968Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:a16b03d3b20901e3c5fddc4a1f1d9f95fe0a43a5c4e4013743c2107c774676d3","observation_id":"ab549516-9a7f-4e0e-9cc8-4d05ea107641","resolution":{"observed_at":"2026-08-12T19:35:56.623968Z","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-12T19:35:57.251341Z","title":null,"venue":null,"work_id":"02b32eef-5687-4a0e-afb6-5eda9dd62612","year":2024},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.627832Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:53686876521aa70235d07abfe7506607533cfe00295f3884a01c939d2334827b","observation_id":"54d6df84-207c-4a6e-83d3-f720b5f3b685","resolution":{"observed_at":"2026-08-12T19:35:57.254678Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T19:35:57.240961Z","title":"Advances in neural information processing systems 30 (2017)","venue":null,"work_id":"b450ec49-77c4-4c1b-90be-aa266475da79","year":2017},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.631580Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:b29fdca51e11cef90e86f8f6c9455bfb9dc7228ef706860004c085e52c517f16","observation_id":"7b001f56-2629-487f-ad3c-d68dfbda1c6c","resolution":{"observed_at":"2026-08-12T19:35:57.244486Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T19:35:57.229513Z","title":"Preference Learning41(41-55), 48 (2009)","venue":null,"work_id":"d7845ff9-de04-41dd-8cd4-c53a8b32ce86","year":2009},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.635291Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:b7a440a1db4bedb92513f52792fbe66593b670c2ca9dfac626b4be419e9d0653","observation_id":"2c0bccf0-a074-4078-bd61-23cd96c71255","resolution":{"observed_at":"2026-08-12T19:35:57.234085Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T19:35:57.218820Z","title":"In: Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, p","venue":null,"work_id":"ae7cf248-5721-4777-82f5-7559c0100709","year":2008},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.638704Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:bdb356e32aa43397727d82d8c78478a4e22fde3fb9809274daaf556637d2f536","observation_id":"9ed01cfd-422d-404e-acb4-1abb0282715f","resolution":{"observed_at":"2026-08-12T19:35:57.222684Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T19:35:57.207161Z","title":"In: Kumar, A., Thiébaux, S., Varakantham, P., Yeoh, W","venue":null,"work_id":"8d233aef-9248-470d-b56c-bc55bf73f740","year":2022},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.642066Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:e4710e67af33a61a9f5ac58c0de2e98989ac4a907d8bea5f833e7fea4eb8ce92","observation_id":"6edef649-c180-4c5e-b685-1e359f444f01","resolution":{"observed_at":"2026-08-12T19:35:57.211176Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T19:35:57.196485Z","title":"In: International Conference on Tools and Algorithms for Construction and Analysis of Systems (2017)","venue":null,"work_id":"9a0ddc04-e658-4539-bd77-a87e6b3ef02a","year":2017},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.645610Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:9309e985667939a9c312a3b40629beb9769b92f38912584b791c2416a96b7aae","observation_id":"1d98d0e9-ab70-43c6-b566-bcef151c0599","resolution":{"observed_at":"2026-08-12T19:35:57.200386Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T19:35:57.183731Z","title":"In: Bouajjani, A., Holík, L., Wu, Z","venue":null,"work_id":"fb5fece0-3c25-4265-a670-6a82877538b3","year":2022},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.649079Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:fcf053a195dd3b60ebac105c7781271271543509e2120c37646d90043c3285ae","observation_id":"00ed8bde-c77c-48de-a037-e5f810a17b58","resolution":{"observed_at":"2026-08-12T19:35:57.188060Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T19:35:57.172345Z","title":null,"venue":null,"work_id":"93f1aa4b-b8b1-4ac2-8c38-653c80b69874","year":2020},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.652915Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:aeeafae1228fd7f9af8910efd3771e79c50f9c076588e04b46a847a182ca8c2d","observation_id":"d46f69ea-4f16-4c61-8060-022d104bd942","resolution":{"observed_at":"2026-08-12T19:35:57.176048Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.09301","last_updated":"2025-05-19T03:19:00Z","snapshot_observed_at":"2026-08-16T15:07:40.002284Z","submitted_at":"2023-08-18T04:49:45Z","title":"Automata Learning from Preference and Equivalence Queries","version":3},"cited_work":{"arxiv_id":"2308.09301","doi":null,"metadata_source":"pith","pith_arxiv_id":"2308.09301","snapshot_observed_at":"2026-08-12T19:35:56.963881Z","title":"Automata Learning from Preference and Equivalence Queries","venue":"cs.LG","work_id":"5d61c7a6-e11e-484c-936b-2ae95886bc85","year":2023},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.656491Z"},"links":{"cited_paper":"/paper/2308.09301","citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:eb0822242c567dc360aabc0c01aec2043c2eec6bac1cb96b8f5ce0148c55364c","observation_id":"977418d1-4673-46d4-9080-44fb05495858","resolution":{"observed_at":"2026-08-12T19:35:56.967918Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T19:35:57.160135Z","title":"In: Dy, J., Krause, A","venue":null,"work_id":"1822a6bd-494d-4d15-acaa-8739587f5f30","year":null},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.660246Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:06aea55be00062f9d3780082a0870b7dd13484e76bb16bfbefead2793e4c2dd2","observation_id":"7f4488e6-3a12-4433-ab25-eab710298054","resolution":{"observed_at":"2026-08-12T19:35:57.164403Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.ifacol.2023.01.126","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:35:56.775189Z","title":null,"venue":null,"work_id":"682935d3-58ea-4c9e-8d49-f9c03e7eff53","year":2022},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.663703Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:ed815514a0c53d50bcdf34a278bc7aa5e3b2c20022968e2c507e89316d44b655","observation_id":"a9409397-d05e-4c85-84e4-0b0455eb689b","resolution":{"observed_at":"2026-08-12T19:35:56.779137Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3763.2022","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:35:56.947658Z","title":"In: 2022 IEEE International Conference on Development and Learning (ICDL), pp","venue":null,"work_id":"77153b12-0849-469b-9c8f-5205f83ccde4","year":2022},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.667438Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:32b566220c9c1b2a4489c4334e5c235b8c55ac61bc7aa37b7c3677f4901234d1","observation_id":"f535a70d-00c1-4eec-88df-7bb009f10850","resolution":{"observed_at":"2026-08-12T19:35:56.953365Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.19795","last_updated":"2024-03-28T19:21:57Z","snapshot_observed_at":"2026-08-16T14:05:23.059893Z","submitted_at":"2024-03-28T19:21:57Z","title":"Learning Human Preferences Over Robot Behavior as Soft Planning Constraints","version":1},"cited_work":{"arxiv_id":"2403.19795","doi":null,"metadata_source":"pith","pith_arxiv_id":"2403.19795","snapshot_observed_at":"2026-08-12T19:35:56.875906Z","title":"Learning Human Preferences Over Robot Behavior as Soft Planning Constraints","venue":"cs.RO","work_id":"1baa78d5-ad39-480c-9bed-cf8a13b706eb","year":2024},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.670938Z"},"links":{"cited_paper":"/paper/2403.19795","citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:a34a727dd7a8740872a9547dcfca1a487043125da8b41a04031cb7727d51c4c7","observation_id":"2ce4ff05-1982-47e8-a8c3-0a93b940c9e8","resolution":{"observed_at":"2026-08-12T19:35:56.881022Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T19:35:57.147136Z","title":"In: Robotics: Science and Systems (2017)","venue":null,"work_id":"394edd46-dde4-4281-a54d-aa76f7bac77e","year":2017},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.680177Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:c8e5a507dba4e6169ac26638d6f13b76f99c5d54adc5eb00ac9d0f9ad87f9257","observation_id":"b87773b3-0ac1-45ff-b7e4-d09f982332b5","resolution":{"observed_at":"2026-08-12T19:35:57.151151Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T19:35:57.134839Z","title":null,"venue":null,"work_id":"fb8a75e4-d4de-4876-bf06-b65f7ac07039","year":2023},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.683844Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:b9a2adde38558c083c2a32ca87cb55607c4da3febe49c96561dec2aa244ce179","observation_id":"cb330df8-bc19-4f36-9f57-be0bace6574f","resolution":{"observed_at":"2026-08-12T19:35:57.139221Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T19:35:57.122621Z","title":"Advances in Neural Information Processing Systems33, 3008–3021 (2020)","venue":null,"work_id":"47be884b-b137-409c-965b-dcd851f9b608","year":2020},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.687374Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:045ebf095391cb945066fac908171bcc5147e6ffb4f55c4be4cac7b11bffeb75","observation_id":"81e5b042-f732-4c0c-bf23-0f32d8337ed1","resolution":{"observed_at":"2026-08-12T19:35:57.126723Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T19:35:57.110844Z","title":"In: International Symposium on Formal Methods, pp","venue":null,"work_id":"6a3b7654-8611-4410-82ce-e04ed48fbe1d","year":2019},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.691049Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:29906c1a6215ff227a1f824336ff2a6ef0b84f1550f287f8c7760ae3f5584b28","observation_id":"ef123b72-f286-4b58-a794-7b25757c6212","resolution":{"observed_at":"2026-08-12T19:35:57.115089Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1023/a:1022616503659","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:35:56.763512Z","title":null,"venue":null,"work_id":"f89c790d-4d1c-49e6-8e2b-ab2442480e8b","year":1992},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.694174Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:84bda45b3e046bb50d861ce2d8253330324c269fa886911446088f8700f0e950","observation_id":"f7a598fb-03cf-41f4-a748-578fcb15b34b","resolution":{"observed_at":"2026-08-12T19:35:56.767441Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T19:35:57.098426Z","title":"In: Wallach, H., Larochelle, H., Beygelzimer, A., d'Alché- Buc, F., Fox, E., Garnett, R","venue":null,"work_id":"8e0626ff-fe60-4503-bf99-21eb74a6af27","year":2019},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.697463Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:d6d2f5c6b45fb17d1559d97c08b42b9bee92791583b40f1d685038fb44462f2a","observation_id":"dba2312d-f5f9-4c43-b5c3-46bbbbc79182","resolution":{"observed_at":"2026-08-12T19:35:57.102576Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T19:35:57.084936Z","title":"Journal of Machine Learning Research18(136), 1–46 (2017)","venue":null,"work_id":"2e062471-09cf-4386-99f0-0ffb52b811b9","year":2017},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.701060Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:fa8cec53e029d471cab71ad8beee2462e543fc41b0e304b5fcbd3e63e4357e4b","observation_id":"bf0117d0-271d-4673-8494-370017712f86","resolution":{"observed_at":"2026-08-12T19:35:57.089627Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T19:35:57.072685Z","title":"In: Proceedings of the AAAI conference on artificial intelligence, vol","venue":null,"work_id":"a0631a76-6bcf-40e5-8000-6420e5841eaf","year":2016},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.704542Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:477ba9be94ef0a2c56e4823f2ec55c0269bcf1f6ac3c2c41cd55bd960070c5ce","observation_id":"d3a338a0-73b7-403c-aa3e-4bfc86bd8143","resolution":{"observed_at":"2026-08-12T19:35:57.076820Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-84060-0_8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":"Lecture notes in computer science","work_id":"e1b5772b-103d-42b5-a4fd-3b9bb903fa62","year":2021},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.708142Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:10b1b3ba52029e249cffad83b44d8c0789a29ceac6a2984d6589e97f7b58fbd9","observation_id":"9b197006-b6c5-43fb-8f42-7685f659f30a","resolution":{"observed_at":"2026-08-12T19:35:56.755233Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T19:35:56.711564Z","title":"In: Proceedings of the 29th ACM SIGKDD Confer- ence on Knowledge Discovery and Data Mining, p","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.711564Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:a030daa749602241b8aaf2c6a17db0c58cc8ff56fae96af2f4e6597ef2ef88ed","observation_id":"3d65a321-1e7b-4d83-83fd-62e36e89d07d","resolution":{"observed_at":"2026-08-12T19:35:56.711564Z","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-12T19:35:57.058367Z","title":null,"venue":null,"work_id":"7574639a-9c7c-4ec2-a63a-ec3677577268","year":null},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.715104Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:45a61f516c09a861735e7660c7aede5918bfbf373c03a54dccd6cbec2f53704c","observation_id":"27bba3fc-9ab5-418d-a1d6-bbd7612e87ee","resolution":{"observed_at":"2026-08-12T19:35:57.062251Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T19:35:57.044583Z","title":null,"venue":null,"work_id":"786dd823-0af5-461b-9ef8-6ef120a238cf","year":null},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.718816Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:80364dd6d929a75cb2a321b4bbf3694e33eea5ac022bd935d5446dfb8bf835c7","observation_id":"1d1f6c3f-5eaf-41b5-b067-6f7246688bb6","resolution":{"observed_at":"2026-08-12T19:35:57.048513Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T19:35:57.032638Z","title":"Within the 3 regimes, tables are ranked by how many states they contain","venue":null,"work_id":"1b8c8879-4f02-4d22-8778-2b116885c300","year":null},"citing_paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T19:35:56.722443Z"},"links":{"citing_paper":"/paper/2411.10601"},"observation_digest":"sha256:d99039fac8b99edc328417bbcb17ee421728c2dff6829afea1f31658dda638bc","observation_id":"c0b1b03e-13fb-4e67-a315-e69d4ec569d4","resolution":{"observed_at":"2026-08-12T19:35:57.036557Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.10601","last_updated":"2024-11-15T21:51:14Z","latest_version":1,"primary_category":"cs.FL","snapshot_observed_at":"2026-08-12T19:29:00.235813Z","submitted_at":"2024-11-15T21:51:14Z","title":"Learning Quantitative Automata Modulo Theories"},"reference_resolution":{"displayed":33,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":9,"verified_exact":7,"verified_fuzzy":16},"total_outbound_references":33},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:2411.10601."}