{"as_of":"2026-08-10T21:32:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4c489ceb90cc5c0acccc14f1009d1db103ae675a27652938cd71d04d5bf15472","coverage":[{"denominator":15,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":15,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-15T13:34:28.306715Z","state":"measured"},{"denominator":15,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":15,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2603.06930/citation-record","integrity":"/paper/2603.06930/integrity","json":"/paper/2603.06930/citation-record.json","paper":"/paper/2603.06930"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-032-15700-3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Producing shorter congruence closure proofs in a state-of-the-art SMT solver","venue":"Lecture notes in computer science","work_id":"612a74c7-da4c-47f5-be1b-5b4d6631ec46","year":2026},"citing_paper":{"arxiv_id":"2603.06930","last_updated":"2026-06-24T18:30:49Z","snapshot_observed_at":"2026-08-09T08:09:13.162613Z","submitted_at":"2026-03-06T23:03:04Z","title":"Explicit Formulas and Unimodality Phenomena for General Position Polynomials","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-15T13:34:28.306715Z"},"links":{"citing_paper":"/paper/2603.06930"},"observation_digest":"sha256:ba97a022423b76fc674674c37aba3829e303405b7cccbd57dad45c0dce4122de","observation_id":"5618b41d-661c-4865-a3ea-e2c7c66bbcd1","resolution":{"observed_at":"2026-07-15T13:41:31.473470Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-15T13:34:28.306715Z","title":"3 Mantas Baksys, Stefan Zetzsche, Olivier Bouissou, and Sean B","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2603.06930","last_updated":"2026-06-24T18:30:49Z","snapshot_observed_at":"2026-08-09T08:09:13.162613Z","submitted_at":"2026-03-06T23:03:04Z","title":"Explicit Formulas and Unimodality Phenomena for General Position Polynomials","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-15T13:34:28.306715Z"},"links":{"citing_paper":"/paper/2603.06930"},"observation_digest":"sha256:ab742bf53c71ff5ec9b110762c09cd081a0012f8959312aadd12423df259ff2d","observation_id":"f482b6bd-a08a-4b6b-bb09-52c88f8d8ba5","resolution":{"observed_at":"2026-07-15T13:34:28.306715Z","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-07-15T13:34:28.306715Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2603.06930","last_updated":"2026-06-24T18:30:49Z","snapshot_observed_at":"2026-08-09T08:09:13.162613Z","submitted_at":"2026-03-06T23:03:04Z","title":"Explicit Formulas and Unimodality Phenomena for General Position Polynomials","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-15T13:34:28.306715Z"},"links":{"citing_paper":"/paper/2603.06930"},"observation_digest":"sha256:1a055a2bbe597d928fdf532aad1aa0ba31d4e0483c5a5bc26f2dac525589a182","observation_id":"9caa3a54-43f7-4b15-ad77-e19636147820","resolution":{"observed_at":"2026-07-15T13:34:28.306715Z","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-07-15T13:34:28.306715Z","title":"9 Robert Brummayer and Armin Biere","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2603.06930","last_updated":"2026-06-24T18:30:49Z","snapshot_observed_at":"2026-08-09T08:09:13.162613Z","submitted_at":"2026-03-06T23:03:04Z","title":"Explicit Formulas and Unimodality Phenomena for General Position Polynomials","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-15T13:34:28.306715Z"},"links":{"citing_paper":"/paper/2603.06930"},"observation_digest":"sha256:fed5a8fc552734e46f2f064f50a8c9909c10f382db9a00cef7899f1f001eeccf","observation_id":"e3ef57af-3c9e-4c2c-a3bf-a4e432358727","resolution":{"observed_at":"2026-07-15T13:34:28.306715Z","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":"10.1007/3-540-45620-1_35","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"0fadd82f-8805-408e-9a84-5eb8c31f49d2","year":2008},"citing_paper":{"arxiv_id":"2603.06930","last_updated":"2026-06-24T18:30:49Z","snapshot_observed_at":"2026-08-09T08:09:13.162613Z","submitted_at":"2026-03-06T23:03:04Z","title":"Explicit Formulas and Unimodality Phenomena for General Position Polynomials","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-15T13:34:28.306715Z"},"links":{"citing_paper":"/paper/2603.06930"},"observation_digest":"sha256:1f75ef6164b12b1002684f45a035981c8f9c104ef6c7c4a99544ac39519dbb02","observation_id":"ea5859b1-96bc-458e-b6dd-f53083f5f555","resolution":{"observed_at":"2026-07-15T13:41:31.441925Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-15T13:34:28.306715Z","title":"Mollick, Hila Lifshitz-Assaf, Katherine Kellogg, Saran Rajendran, Lisa Krayer, François Candelon, and Karim R","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2603.06930","last_updated":"2026-06-24T18:30:49Z","snapshot_observed_at":"2026-08-09T08:09:13.162613Z","submitted_at":"2026-03-06T23:03:04Z","title":"Explicit Formulas and Unimodality Phenomena for General Position Polynomials","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-15T13:34:28.306715Z"},"links":{"citing_paper":"/paper/2603.06930"},"observation_digest":"sha256:97cef90bdbbd09d4ece5c0e57edd1b1698f078e010f7d6970fd05afae5e5dede","observation_id":"b38ff4ee-b68a-46cb-9528-01fe78b05bda","resolution":{"observed_at":"2026-07-15T13:34:28.306715Z","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-07-15T13:34:28.306715Z","title":"15 Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, and Armin Biere","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2603.06930","last_updated":"2026-06-24T18:30:49Z","snapshot_observed_at":"2026-08-09T08:09:13.162613Z","submitted_at":"2026-03-06T23:03:04Z","title":"Explicit Formulas and Unimodality Phenomena for General Position Polynomials","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-15T13:34:28.306715Z"},"links":{"citing_paper":"/paper/2603.06930"},"observation_digest":"sha256:78cfa692a2639850f445d403f27cb8faa1410ee54145f68a3e6eca72828b0a04","observation_id":"efbf14ec-7eae-413b-9d40-b429682b9212","resolution":{"observed_at":"2026-07-15T13:34:28.306715Z","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-07-15T13:34:28.306715Z","title":"doi:10.4230/LIPIcs.SAT.2023.8","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2603.06930","last_updated":"2026-06-24T18:30:49Z","snapshot_observed_at":"2026-08-09T08:09:13.162613Z","submitted_at":"2026-03-06T23:03:04Z","title":"Explicit Formulas and Unimodality Phenomena for General Position Polynomials","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-15T13:34:28.306715Z"},"links":{"citing_paper":"/paper/2603.06930"},"observation_digest":"sha256:2a3b900c81ee5a9b7d540db3781ac8ed4d52206d0cce6558ca036b79d91c914b","observation_id":"de7057ed-0709-4f0d-b431-53d3477d2c3f","resolution":{"observed_at":"2026-07-15T13:34:28.306715Z","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-07-15T13:34:28.306715Z","title":"19 João Marques-Silva and Karem A","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.06930","last_updated":"2026-06-24T18:30:49Z","snapshot_observed_at":"2026-08-09T08:09:13.162613Z","submitted_at":"2026-03-06T23:03:04Z","title":"Explicit Formulas and Unimodality Phenomena for General Position Polynomials","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-15T13:34:28.306715Z"},"links":{"citing_paper":"/paper/2603.06930"},"observation_digest":"sha256:77c35f145d3868a96c2e28c962382db927ddfaa8dbb7b0510b9aec21920d405f","observation_id":"0bd4faf9-091b-4492-b007-f6965e6fe800","resolution":{"observed_at":"2026-07-15T13:34:28.306715Z","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-07-15T13:34:28.306715Z","title":"Programming with triggers","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2603.06930","last_updated":"2026-06-24T18:30:49Z","snapshot_observed_at":"2026-08-09T08:09:13.162613Z","submitted_at":"2026-03-06T23:03:04Z","title":"Explicit Formulas and Unimodality Phenomena for General Position Polynomials","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-15T13:34:28.306715Z"},"links":{"citing_paper":"/paper/2603.06930"},"observation_digest":"sha256:02c5e8b468db80720c0f3758b7d231da4529d4339625f5c2744395ad29831b59","observation_id":"a3477898-fa25-4e54-a22b-b6dd9b1efb66","resolution":{"observed_at":"2026-07-15T13:34:28.306715Z","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":"10.1145/357073","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-15T13:41:31.450276Z","title":"357079,doi:10.1145/357073.357079","venue":null,"work_id":"9f292532-f066-4746-9eee-0d61c27c22e0","year":null},"citing_paper":{"arxiv_id":"2603.06930","last_updated":"2026-06-24T18:30:49Z","snapshot_observed_at":"2026-08-09T08:09:13.162613Z","submitted_at":"2026-03-06T23:03:04Z","title":"Explicit Formulas and Unimodality Phenomena for General Position Polynomials","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-15T13:34:28.306715Z"},"links":{"citing_paper":"/paper/2603.06930"},"observation_digest":"sha256:5b9d690884532f5725455c65cbea8cc71eee1aebe096f6570360e883c375715a","observation_id":"57a4f9bf-ffba-443f-8bdd-b8a290cd7516","resolution":{"observed_at":"2026-07-15T13:41:31.451897Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/11513988_33","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"24 Robert Nieuwenhuis and Albert Oliveras","venue":"Lecture notes in computer science","work_id":"d12cb02e-e48c-430b-8006-1c0e22fba794","year":2007},"citing_paper":{"arxiv_id":"2603.06930","last_updated":"2026-06-24T18:30:49Z","snapshot_observed_at":"2026-08-09T08:09:13.162613Z","submitted_at":"2026-03-06T23:03:04Z","title":"Explicit Formulas and Unimodality Phenomena for General Position Polynomials","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-15T13:34:28.306715Z"},"links":{"citing_paper":"/paper/2603.06930"},"observation_digest":"sha256:f232a2ba609c5d95ffe06a861c1fc7a3432bb2277baf5d0ba07e91eda14509a3","observation_id":"434f4e75-b577-4a52-a9b4-0038b43eb4f3","resolution":{"observed_at":"2026-07-15T13:41:31.425441Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-48683-6_39","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"27 Kaustubh Saini","venue":"Lecture notes in computer science","work_id":"8e880847-dee8-4f87-9e5e-a7a7b94d8d0d","year":null},"citing_paper":{"arxiv_id":"2603.06930","last_updated":"2026-06-24T18:30:49Z","snapshot_observed_at":"2026-08-09T08:09:13.162613Z","submitted_at":"2026-03-06T23:03:04Z","title":"Explicit Formulas and Unimodality Phenomena for General Position Polynomials","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-15T13:34:28.306715Z"},"links":{"citing_paper":"/paper/2603.06930"},"observation_digest":"sha256:8c95d52594c465ed43b852c19dcc01c857c7b79208b2e5e2d88ff0731d9e3b6f","observation_id":"9defe818-99fa-40ca-b280-88327e980852","resolution":{"observed_at":"2026-07-15T13:41:31.446824Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3233/sat190034","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"29 Raymond M","venue":"Journal on Satisfiability Boolean Modeling and Computation","work_id":"f28b729f-3290-42f4-b8c8-df626f84981a","year":1968},"citing_paper":{"arxiv_id":"2603.06930","last_updated":"2026-06-24T18:30:49Z","snapshot_observed_at":"2026-08-09T08:09:13.162613Z","submitted_at":"2026-03-06T23:03:04Z","title":"Explicit Formulas and Unimodality Phenomena for General Position Polynomials","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-15T13:34:28.306715Z"},"links":{"citing_paper":"/paper/2603.06930"},"observation_digest":"sha256:c2a17d4ce6acad02f505c52e4f45e7bb7e5a4488e357764c0cb631f72c0f86c6","observation_id":"c06da386-4b0a-48a2-9b46-b02e858238dc","resolution":{"observed_at":"2026-07-15T13:41:31.433692Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2205.12615","last_updated":"2022-05-25T09:53:30Z","snapshot_observed_at":"2026-08-10T17:57:52.655028Z","submitted_at":"2022-05-25T09:53:30Z","title":"Autoformalization with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2205.12615","snapshot_observed_at":"2026-07-15T13:34:28.306715Z","title":"Jiang, Wenda Li, Markus N","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2603.06930","last_updated":"2026-06-24T18:30:49Z","snapshot_observed_at":"2026-08-09T08:09:13.162613Z","submitted_at":"2026-03-06T23:03:04Z","title":"Explicit Formulas and Unimodality Phenomena for General Position Polynomials","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-15T13:34:28.306715Z"},"links":{"cited_paper":"/paper/2205.12615","citing_paper":"/paper/2603.06930"},"observation_digest":"sha256:c9d0b19c4e00d73a2608a44f6866afb97523ddb4982b6c7a84e792780fa33b5b","observation_id":"b12736dc-9fa8-4b40-b024-e6ae2d3a39f0","resolution":{"observed_at":"2026-07-15T13:34:28.306715Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2603.06930","last_updated":"2026-06-24T18:30:49Z","latest_version":3,"primary_category":"math.CO","snapshot_observed_at":"2026-08-09T08:09:13.162613Z","submitted_at":"2026-03-06T23:03:04Z","title":"Explicit Formulas and Unimodality Phenomena for General Position Polynomials"},"reference_resolution":{"displayed":15,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":9,"verified_exact":6,"verified_fuzzy":0},"total_outbound_references":15},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 15 of 15 outbound references and 0 inbound Pith citation observations for arXiv:2603.06930."}