{"as_of":"2026-08-03T20:31:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0bc1cb704fafea320dccd28a55b30654f7a1297fef0323f4f318254fa4f4bc16","coverage":[{"denominator":18,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":18,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-09T10:46:26.906560Z","state":"measured"},{"denominator":18,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":18,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-03T06:30:56.289259+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/2607.07444/citation-record","integrity":"/paper/2607.07444/integrity","json":"/paper/2607.07444/citation-record.json","paper":"/paper/2607.07444"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-09T10:56:11.626547Z","title":"Goldmine: Automatic assertion generation using data mining and static analysis,","venue":null,"work_id":"97c83360-9d74-461a-a471-0805c54ce87b","year":2010},"citing_paper":{"arxiv_id":"2607.07444","last_updated":"2026-07-08T14:14:14Z","snapshot_observed_at":"2026-07-11T23:20:06.794636Z","submitted_at":"2026-07-08T14:14:14Z","title":"LLM Assisted Verification Assertion Generation: Challenges and Future Directions","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-09T10:46:26.906560Z"},"links":{"citing_paper":"/paper/2607.07444"},"observation_digest":"sha256:b5b79006249229286a65d4d72bc1d5a71edfd22e5cac19c44e64ad5961964698","observation_id":"7a3ca652-7760-4036-88ea-7e2d45a15204","resolution":{"observed_at":"2026-07-09T10:56:11.627763Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-07-09T10:56:11.653273Z","title":"Automatic genera- tion of assertions from system level design using data mining,","venue":null,"work_id":"5d5704a4-7931-4edf-bb86-5769cec27631","year":2011},"citing_paper":{"arxiv_id":"2607.07444","last_updated":"2026-07-08T14:14:14Z","snapshot_observed_at":"2026-07-11T23:20:06.794636Z","submitted_at":"2026-07-08T14:14:14Z","title":"LLM Assisted Verification Assertion Generation: Challenges and Future Directions","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-09T10:46:26.906560Z"},"links":{"citing_paper":"/paper/2607.07444"},"observation_digest":"sha256:e3ead2e10062fa58b642d78d5d189f580d453baa99116bddb34b7ee3cbb23b99","observation_id":"7d184592-6c1c-46d2-a059-561f148bcfac","resolution":{"observed_at":"2026-07-09T10:56:11.654488Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-07-09T10:56:11.632176Z","title":"Attention is all you need","venue":null,"work_id":"49aa55b2-0f43-48a8-8df2-81d827584846","year":2017},"citing_paper":{"arxiv_id":"2607.07444","last_updated":"2026-07-08T14:14:14Z","snapshot_observed_at":"2026-07-11T23:20:06.794636Z","submitted_at":"2026-07-08T14:14:14Z","title":"LLM Assisted Verification Assertion Generation: Challenges and Future Directions","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-09T10:46:26.906560Z"},"links":{"citing_paper":"/paper/2607.07444"},"observation_digest":"sha256:c3d8e9684ecd1e5f9953cc544eee6eab98d1d20b77eb4de49a813a97f7405f48","observation_id":"d9c70e9c-4603-4d04-af41-d740a37afe3b","resolution":{"observed_at":"2026-07-09T10:56:11.633288Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-07-09T10:56:11.637036Z","title":"LLM-Based Assertion Generation: Lessons and Future Directions,","venue":null,"work_id":"0655bd0b-457d-4577-9a02-980e2ef3bcdb","year":2026},"citing_paper":{"arxiv_id":"2607.07444","last_updated":"2026-07-08T14:14:14Z","snapshot_observed_at":"2026-07-11T23:20:06.794636Z","submitted_at":"2026-07-08T14:14:14Z","title":"LLM Assisted Verification Assertion Generation: Challenges and Future Directions","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-09T10:46:26.906560Z"},"links":{"citing_paper":"/paper/2607.07444"},"observation_digest":"sha256:aa5c5a3cd5df3e4323e09e5e0ac6edb8f33c24419fe03ae848d300657cf45e9d","observation_id":"4fa3be1f-47a3-4aba-b25e-531805fdce77","resolution":{"observed_at":"2026-07-09T10:56:11.638236Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-07-09T10:56:11.628308Z","title":"2024 wilson research group ic/asic functional verification trend report,","venue":null,"work_id":"8530c394-ca53-4490-a9b7-7bdab22ef006","year":2024},"citing_paper":{"arxiv_id":"2607.07444","last_updated":"2026-07-08T14:14:14Z","snapshot_observed_at":"2026-07-11T23:20:06.794636Z","submitted_at":"2026-07-08T14:14:14Z","title":"LLM Assisted Verification Assertion Generation: Challenges and Future Directions","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-09T10:46:26.906560Z"},"links":{"citing_paper":"/paper/2607.07444"},"observation_digest":"sha256:db9046cd5f39eb763877fd3c206af1a1fa43d9bdf6984c682f63102bf289b3cd","observation_id":"a26976c6-0cf6-4c0c-a052-83c49e6c47b7","resolution":{"observed_at":"2026-07-09T10:56:11.629497Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.09437","last_updated":"2023-09-28T15:27:39Z","snapshot_observed_at":"2026-07-06T16:19:41.722419Z","submitted_at":"2023-09-18T02:37:43Z","title":"Using LLMs to Facilitate Formal Verification of RTL","version":2},"cited_work":{"arxiv_id":"2309.09437","doi":null,"metadata_source":"pith","pith_arxiv_id":"2309.09437","snapshot_observed_at":"2026-07-09T10:56:11.275114Z","title":"Using LLMs to facilitate formal verification of RTL","venue":"cs.AR","work_id":"090710a1-5933-4ce0-8eab-cbeaa2186fb5","year":2023},"citing_paper":{"arxiv_id":"2607.07444","last_updated":"2026-07-08T14:14:14Z","snapshot_observed_at":"2026-07-11T23:20:06.794636Z","submitted_at":"2026-07-08T14:14:14Z","title":"LLM Assisted Verification Assertion Generation: Challenges and Future Directions","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-09T10:46:26.906560Z"},"links":{"cited_paper":"/paper/2309.09437","citing_paper":"/paper/2607.07444"},"observation_digest":"sha256:38d479b690b412064a1bffbac9c97e74add3c1ded2e6e2ae8345ffee7b89cfd9","observation_id":"7f52892c-bd35-4834-9bbc-59d666f09cb5","resolution":{"observed_at":"2026-07-09T10:56:11.276441Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-07-09T10:56:11.655048Z","title":"(security) assertions by large language models,","venue":null,"work_id":"8f510f30-73d3-48c3-bbf3-c91ada67c1c4","year":2024},"citing_paper":{"arxiv_id":"2607.07444","last_updated":"2026-07-08T14:14:14Z","snapshot_observed_at":"2026-07-11T23:20:06.794636Z","submitted_at":"2026-07-08T14:14:14Z","title":"LLM Assisted Verification Assertion Generation: Challenges and Future Directions","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-09T10:46:26.906560Z"},"links":{"citing_paper":"/paper/2607.07444"},"observation_digest":"sha256:e3464a7bd69f4923f0dcfd857095aa5208f823685d3e4f7b0a8fad63b4835eaa","observation_id":"2496e59d-4dea-415d-9fff-b485d744c976","resolution":{"observed_at":"2026-07-09T10:56:11.656371Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-07-09T10:56:11.647584Z","title":"Chiraag: Chatgpt informed rapid and automated assertion generation,","venue":null,"work_id":"3ee1f759-3c3d-4b1d-8f8b-73f29bd1f8c2","year":2024},"citing_paper":{"arxiv_id":"2607.07444","last_updated":"2026-07-08T14:14:14Z","snapshot_observed_at":"2026-07-11T23:20:06.794636Z","submitted_at":"2026-07-08T14:14:14Z","title":"LLM Assisted Verification Assertion Generation: Challenges and Future Directions","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-09T10:46:26.906560Z"},"links":{"citing_paper":"/paper/2607.07444"},"observation_digest":"sha256:e145610e13e5a6af046230ae095a4ad806a6cce9594de3f70fa68be691b71e53","observation_id":"3466d461-6a74-47f6-aad8-32d48900fea3","resolution":{"observed_at":"2026-07-09T10:56:11.648899Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-07-09T10:56:11.649448Z","title":"Laag-rv: Llm assisted assertion generation for rtl design verification,","venue":null,"work_id":"0a939507-352d-4214-8469-cab077907d9c","year":null},"citing_paper":{"arxiv_id":"2607.07444","last_updated":"2026-07-08T14:14:14Z","snapshot_observed_at":"2026-07-11T23:20:06.794636Z","submitted_at":"2026-07-08T14:14:14Z","title":"LLM Assisted Verification Assertion Generation: Challenges and Future Directions","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-09T10:46:26.906560Z"},"links":{"citing_paper":"/paper/2607.07444"},"observation_digest":"sha256:0aeedfa5543488af6086638b5fbaefc27c699bf2a66dc98dba881d4c52382605","observation_id":"b0131dbc-c768-4036-95f9-ad735be9e5fe","resolution":{"observed_at":"2026-07-09T10:56:11.650951Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-07-09T10:56:11.645800Z","title":"Assertllm: Generating hardware verification assertions from design specifications via multi-llms","venue":null,"work_id":"07026bac-a8cd-4f15-9177-681a70cfe21e","year":2025},"citing_paper":{"arxiv_id":"2607.07444","last_updated":"2026-07-08T14:14:14Z","snapshot_observed_at":"2026-07-11T23:20:06.794636Z","submitted_at":"2026-07-08T14:14:14Z","title":"LLM Assisted Verification Assertion Generation: Challenges and Future Directions","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-09T10:46:26.906560Z"},"links":{"citing_paper":"/paper/2607.07444"},"observation_digest":"sha256:1a04c282d6b9862f4909f8940ebdb18bdaac943bb4de8adffa69414ce3f2bd4a","observation_id":"6c4cb7ef-79a4-4e8e-b31e-4ccaa904fae4","resolution":{"observed_at":"2026-07-09T10:56:11.647046Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-07-09T10:56:11.630052Z","title":"Assertionforge: Enhancing formal verification assertion generation with structured representation of specifications and rtl,","venue":null,"work_id":"ce53a741-decf-4f3f-9676-5107e31591ef","year":null},"citing_paper":{"arxiv_id":"2607.07444","last_updated":"2026-07-08T14:14:14Z","snapshot_observed_at":"2026-07-11T23:20:06.794636Z","submitted_at":"2026-07-08T14:14:14Z","title":"LLM Assisted Verification Assertion Generation: Challenges and Future Directions","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-09T10:46:26.906560Z"},"links":{"citing_paper":"/paper/2607.07444"},"observation_digest":"sha256:f2533b8a6e6313dfb31957b7d3ece6778e53559e3dd4709d626a4b93e94ec6a9","observation_id":"6857559b-f144-4c74-9d99-62d1d3abb10d","resolution":{"observed_at":"2026-07-09T10:56:11.631624Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-07-09T10:56:11.651439Z","title":"Sangam: Systemverilog assertion generation via monte carlo tree self-refine,","venue":null,"work_id":"73f6ee66-3bd4-4d56-819f-78f18b1b07db","year":null},"citing_paper":{"arxiv_id":"2607.07444","last_updated":"2026-07-08T14:14:14Z","snapshot_observed_at":"2026-07-11T23:20:06.794636Z","submitted_at":"2026-07-08T14:14:14Z","title":"LLM Assisted Verification Assertion Generation: Challenges and Future Directions","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-09T10:46:26.906560Z"},"links":{"citing_paper":"/paper/2607.07444"},"observation_digest":"sha256:fb565946abb5fbb62f3162cd44b48be9d7b56c724a7cf25d38d9d5f4dc4fc915","observation_id":"a4fc1cb7-057b-48aa-8477-3e51fe7cfdef","resolution":{"observed_at":"2026-07-09T10:56:11.652760Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-02T14:37:17.837963Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"cited_work":{"arxiv_id":"2507.10338","doi":"10.48550/arxiv.2507.10338","metadata_source":"pith","pith_arxiv_id":"2507.10338","snapshot_observed_at":"2026-07-10T12:15:01.137692Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","venue":"cs.SE","work_id":"1921ea6a-355c-476a-8523-792a4f38cb41","year":2025},"citing_paper":{"arxiv_id":"2607.07444","last_updated":"2026-07-08T14:14:14Z","snapshot_observed_at":"2026-07-11T23:20:06.794636Z","submitted_at":"2026-07-08T14:14:14Z","title":"LLM Assisted Verification Assertion Generation: Challenges and Future Directions","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-09T10:46:26.906560Z"},"links":{"cited_paper":"/paper/2507.10338","citing_paper":"/paper/2607.07444"},"observation_digest":"sha256:9ee2d47ace303bd4dc3273dc87b115d48b52fff5b687eb148271e45c6aa854a3","observation_id":"fb968207-ddb6-4712-b51b-6224f2481baf","resolution":{"observed_at":"2026-07-09T10:56:11.273974Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-07-09T10:56:11.642093Z","title":"Fixme: Towards end-to-end bench- marking of llm-aided design verification,","venue":null,"work_id":"3f155198-8c20-4a65-9fcf-d6eac3d4fdc7","year":2026},"citing_paper":{"arxiv_id":"2607.07444","last_updated":"2026-07-08T14:14:14Z","snapshot_observed_at":"2026-07-11T23:20:06.794636Z","submitted_at":"2026-07-08T14:14:14Z","title":"LLM Assisted Verification Assertion Generation: Challenges and Future Directions","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-09T10:46:26.906560Z"},"links":{"citing_paper":"/paper/2607.07444"},"observation_digest":"sha256:96431558d0f14319efb349c7a9cda5269ca05f5e243f4b574a1038b7d1b62e3b","observation_id":"30ca8f5c-d407-4d53-937e-8256ed947f2e","resolution":{"observed_at":"2026-07-09T10:56:11.643517Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-07-09T10:56:11.644014Z","title":"Make your llm fully utilize the context","venue":null,"work_id":"083004ac-7227-4937-abff-a3824d488349","year":2024},"citing_paper":{"arxiv_id":"2607.07444","last_updated":"2026-07-08T14:14:14Z","snapshot_observed_at":"2026-07-11T23:20:06.794636Z","submitted_at":"2026-07-08T14:14:14Z","title":"LLM Assisted Verification Assertion Generation: Challenges and Future Directions","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-09T10:46:26.906560Z"},"links":{"citing_paper":"/paper/2607.07444"},"observation_digest":"sha256:ef5047db2d81a3ec6d4b45a67d1849adafaac436343f97b0231e27d886bfd2f2","observation_id":"3f32aeb5-17d4-41c9-81fa-94ff0c9c3571","resolution":{"observed_at":"2026-07-09T10:56:11.645247Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-07-09T10:56:11.638796Z","title":"Dasgupta,A Roadmap for Formal Property Verification","venue":null,"work_id":"710f1b28-1daa-4dfb-8a51-b76e54857139","year":2006},"citing_paper":{"arxiv_id":"2607.07444","last_updated":"2026-07-08T14:14:14Z","snapshot_observed_at":"2026-07-11T23:20:06.794636Z","submitted_at":"2026-07-08T14:14:14Z","title":"LLM Assisted Verification Assertion Generation: Challenges and Future Directions","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-09T10:46:26.906560Z"},"links":{"citing_paper":"/paper/2607.07444"},"observation_digest":"sha256:86ecbad1352c84b271aebf36d18b85e49dd13c473caf18415f0d8abb6c984bf1","observation_id":"a78f8f47-84de-4310-bfe6-bdfd23b9e148","resolution":{"observed_at":"2026-07-09T10:56:11.639941Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-07-09T10:56:11.635110Z","title":"GraphRAG Documentation,","venue":null,"work_id":"25b79a45-c8af-40a6-9838-46c050e639dd","year":2025},"citing_paper":{"arxiv_id":"2607.07444","last_updated":"2026-07-08T14:14:14Z","snapshot_observed_at":"2026-07-11T23:20:06.794636Z","submitted_at":"2026-07-08T14:14:14Z","title":"LLM Assisted Verification Assertion Generation: Challenges and Future Directions","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-09T10:46:26.906560Z"},"links":{"citing_paper":"/paper/2607.07444"},"observation_digest":"sha256:43178862b7f5b252363e6e64ab588e588341031a11af9e9b61e91d785150f78b","observation_id":"fc2a8ef2-15a7-4a2b-a506-5a7f64b8f627","resolution":{"observed_at":"2026-07-09T10:56:11.636246Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-07-09T10:56:11.640463Z","title":"LlamaParse Platform Quickstart,","venue":null,"work_id":"86bb2267-1996-41f7-87a6-8b0ea6fe34f5","year":2026},"citing_paper":{"arxiv_id":"2607.07444","last_updated":"2026-07-08T14:14:14Z","snapshot_observed_at":"2026-07-11T23:20:06.794636Z","submitted_at":"2026-07-08T14:14:14Z","title":"LLM Assisted Verification Assertion Generation: Challenges and Future Directions","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-09T10:46:26.906560Z"},"links":{"citing_paper":"/paper/2607.07444"},"observation_digest":"sha256:9652113ac66f9d9053347f5f2b9182a3bea5ede969e207ac1536aee2287a1ec3","observation_id":"8864010c-4068-48bc-8e39-d72f54b1921b","resolution":{"observed_at":"2026-07-09T10:56:11.641562Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.07444","last_updated":"2026-07-08T14:14:14Z","latest_version":1,"primary_category":"cs.ET","snapshot_observed_at":"2026-07-11T23:20:06.794636Z","submitted_at":"2026-07-08T14:14:14Z","title":"LLM Assisted Verification Assertion Generation: Challenges and Future Directions"},"reference_resolution":{"displayed":18,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":2,"verified_fuzzy":16},"total_outbound_references":18},"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-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+00:00","source":"retraction_watch"}],"thesis":"As of 3 August 2026, this Paper Citation Record lists 18 of 18 outbound references and 0 inbound Pith citation observations for arXiv:2607.07444."}