{"as_of":"2026-08-10T02:40:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4de12625051c6ad7c028e73bc92748b6b7dfd1e22097dfa4667311b7e614c0c9","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-09T06:31:02.800959+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:ecb59fba6d958849104d40e9426aae0781aa683430c8f550dedfb4dd1c408854","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:da88aecce56c156d1af8aaf2f8afb947ceebb53451124ab07a4fddfa99120d41","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:9440a4e6c4b46b2a4bd7bb37657db4490863872c6ecd3d9b9dbbb52bd6c07183","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:d7a357074384a1bf85bdc44e6c2d41334397a7fba6d4d2bc81591ddcaa7c03b0","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:4360cef3a41f562e1909bf937f3c922b92123f20f56818fe833d5710e7462d4b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08-06T10:04:18.383733Z","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:ea14fb7eb8dd16f17ebd32e25f46a4291076881a9ffaae0e773a112777268860","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:a581c40f288e7a55b7e481d2bf071c8f26db61fcab6b51f6f05088214a30ba66","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:02b8a91b0f0cff23719bca7481c2fa7f11b584dc2ca4727db5106772659a0148","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:8ed4bb97b351049cbbf2efad2cd77903e90e9e30df96f604ca7aeb2abdc94d61","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:d1f854696d28ad5a694620f0e8239f93fe43de1fd6f21073fbe7e018393e8cdf","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:5f2bec1fe1729aeba571ad7c7e66274cf865806ef172c3e5b6411b2564ebde7e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:9767b6fd25325e14fc10c8f2645785b2cad9c532be1b89b52eccbfe483448ee3","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:31:03.829801Z","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-08-05T02:28:24.338817Z","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:7db89b7f298ec33d973116299d85f313599ec3daa78506b79b27786dc325c3d1","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:37cafecfd056e3e8abe5f1be8d3a2a705c5f3034ab7cfe6dee2f44b13d14eadf","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:75f87f025e7277d61b7160ff633752bd1982e69f3133cdb4098a8ff897dbb399","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:94354ab31efa53cad66cc026b5d9b64414abe2d08aca5e719fe93f568d2e263f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:1969804ea0075d3aa04c7fa9bd6bcd0d257984d5aa680ad9bf6d57d07295f3cd","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:a4566fc637272192247e4f6338776d44e31d9fe56fe43121e7a2a1ef8e866408","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 18 of 18 outbound references and 0 inbound Pith citation observations for arXiv:2607.07444."}