{"as_of":"2026-08-17T22:56:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d50fcafc4b99a905a868bbc2c639aef43c4b7758315ec33d88768865bda34bd5","coverage":[{"denominator":61,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":61,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T21:45:34.546720Z","state":"measured"},{"denominator":61,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":61,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+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/2505.09095/citation-record","integrity":"/paper/2505.09095/integrity","json":"/paper/2505.09095/citation-record.json","paper":"/paper/2505.09095"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3390/molecules27072105","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:45:34.806523Z","title":null,"venue":null,"work_id":"451b0626-f925-4c2d-b408-0e68e3007745","year":2022},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.348840Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:abffa282dd4a2149806873c54da17a68c78fb3e2f60ea360e2b9068894f3f35c","observation_id":"ee7d20f6-a04d-4cb0-a57d-163da8fe892b","resolution":{"observed_at":"2026-08-15T21:45:34.809705Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1002/jcc.24832","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:08:47.750906Z","title":"Accurate van der Waals force field for gas adsorption in porous materials","venue":"Journal of Computational Chemistry","work_id":"cb5ecb0f-9a16-4aea-865e-c5b7bc10f4de","year":1991},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.353004Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:bde14f9b2434b2442deea832740ebd3219ac7ea36dd3cafe6794242d14bfc3ea","observation_id":"db21e9a2-adc6-4659-badc-b1ca38b7a1f4","resolution":{"observed_at":"2026-08-15T21:45:34.800586Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.6023/a15030192","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:45:34.788412Z","title":"Progress and Prospect of Theoretical Simulation of Microporous Materials","venue":null,"work_id":"6565bba2-7801-4467-bdb2-6913532cb9cb","year":2015},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.356776Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:23178b85308aa8b003e2a61ccaecb4420e67d3c31413b11e9820c6c773769e62","observation_id":"bb5b4204-de81-48d1-8935-43ae6ae5aaae","resolution":{"observed_at":"2026-08-15T21:45:34.791695Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T21:45:35.464200Z","title":"Mark and Wilfred F","venue":null,"work_id":"7591588f-7b72-40b6-885b-ed6d57309f39","year":null},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.360183Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:3606879aabc6b0973626ab63f0d5553b4dbbe6f2d1acf25a5e1fce549bb8590d","observation_id":"b137b1ee-2ac8-41bd-bada-92ab67d9ade0","resolution":{"observed_at":"2026-08-15T21:45:35.467754Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6835.20220","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:45:35.193634Z","title":null,"venue":null,"work_id":"db19aaee-c04b-49c9-b89f-2a1550bb234f","year":2023},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.366447Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:48e1b16e319d7f2655906d9f17c8c108484506962065d2f77c40887dd7072a56","observation_id":"642b249a-a94d-4f18-83d3-5ae30cf416ca","resolution":{"observed_at":"2026-08-15T21:45:35.198164Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T21:45:35.455195Z","title":"Molecular Modelling: Principles and Applications","venue":null,"work_id":"38afb8f2-0beb-4db4-9230-d2c2569a746c","year":2001},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.369851Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:72a8d0b949a1b47ac6612cd19162920294b25ba36662d7989abbef09b1a3d75c","observation_id":"2080da14-e17a-47be-8168-854f026d0cc2","resolution":{"observed_at":"2026-08-15T21:45:35.458440Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T21:45:35.446497Z","title":"Tildesley","venue":null,"work_id":"e70175e0-29ba-406e-b23d-fa4b415650bb","year":2017},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.373270Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:941cb55ef3ce28ac4c7107339ba07a7fbc394b86a86ad3034b3cdd3e5f371710","observation_id":"ed100f47-71ff-4c4f-8401-7749f2d97afa","resolution":{"observed_at":"2026-08-15T21:45:35.449778Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T21:45:34.376706Z","title":"Experiments","venue":null,"work_id":null,"year":1967},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.376706Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:fbbd3274bb0b2bf5551b70a8b70ce791bbbe13b4b4c54bf0e6d462148402796e","observation_id":"98365b61-e67a-4c8e-889a-61e6dd655414","resolution":{"observed_at":"2026-08-15T21:45:34.376706Z","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-15T21:45:35.436809Z","title":"Horton, Simon Boothroyd, Pavan Kumar Behara, David L","venue":null,"work_id":"a7725d2c-8767-49f2-a25d-dbacb4550222","year":2023},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.379956Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:8bd087faaa9045b12d8f42b0c5238e861c7ef521369141ab2ada770f0e63b28d","observation_id":"43a51509-68a7-4502-a869-3a241615d296","resolution":{"observed_at":"2026-08-15T21:45:35.440059Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1101.0039","last_updated":"2010-12-30T06:30:03Z","snapshot_observed_at":"2026-08-15T04:58:44.052160Z","submitted_at":"2010-12-30T06:30:03Z","title":"A Brief Review on Results and Computational Algorithms for Minimizing the Lennard-Jones Potential","version":1},"cited_work":{"arxiv_id":"1101.0039","doi":"10.48550/arxiv.1101.0039","metadata_source":"pith","pith_arxiv_id":"1101.0039","snapshot_observed_at":"2026-08-16T12:16:17.039197Z","title":"A Brief Review on Results and Computational Algorithms for Minimizing the Lennard-Jones Potential","venue":"physics.comp-ph","work_id":"a4a7be44-93ed-4f90-afee-e830315cf893","year":2010},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.382948Z"},"links":{"cited_paper":"/paper/1101.0039","citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:1fff217c9be17d9bd56acff43c157552322459e9c7fd5d62541ccc3ddfdc6b85","observation_id":"df680fd2-bfec-4ed1-8cbf-ee6c6075ef6d","resolution":{"observed_at":"2026-08-15T21:45:34.778046Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.03944","last_updated":"2024-05-07T02:08:25Z","snapshot_observed_at":"2026-08-16T13:54:51.343141Z","submitted_at":"2024-05-07T02:08:25Z","title":"Integrated Lennard-Jones Potential between a Sphere and a Thin Rod","version":1},"cited_work":{"arxiv_id":"2405.03944","doi":"10.48550/arxiv.2405.03944","metadata_source":"pith","pith_arxiv_id":"2405.03944","snapshot_observed_at":"2026-08-16T12:16:17.039197Z","title":"Integrated Lennard-Jones Potential between a Sphere and a Thin Rod","venue":"cond-mat.soft","work_id":"17718982-9fbc-4825-803f-f0143e6845c3","year":2024},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.386755Z"},"links":{"cited_paper":"/paper/2405.03944","citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:25d11a872f1de07ab2fb6818024d062a8dec0bfa9afdf6e0907684aa91ee626d","observation_id":"d619ae05-d511-42df-8be2-12b5827b7640","resolution":{"observed_at":"2026-08-15T21:45:34.766813Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2012.05413","last_updated":"2020-12-10T02:16:48Z","snapshot_observed_at":"2026-08-16T18:59:39.930629Z","submitted_at":"2020-12-10T02:16:48Z","title":"The Lennard Jones Potential Revisited -- Analytical Expressions for Vibrational Effects in Cubic and Hexagonal Close-Packed Lattices","version":1},"cited_work":{"arxiv_id":"2012.05413","doi":null,"metadata_source":"pith","pith_arxiv_id":"2012.05413","snapshot_observed_at":"2026-08-15T21:45:35.133332Z","title":"The Lennard Jones Potential Revisited -- Analytical Expressions for Vibrational Effects in Cubic and Hexagonal Close-Packed Lattices","venue":"cond-mat.mtrl-sci","work_id":"da46d29c-4a67-49cc-bd33-13970e43feb7","year":2020},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.390210Z"},"links":{"cited_paper":"/paper/2012.05413","citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:ef35d7f5f327575ceb4ee270c56935309ddbef256cc965739bfd13a6aceac0ad","observation_id":"3cf246f9-0e6f-4066-871b-45a2af1d8aba","resolution":{"observed_at":"2026-08-15T21:45:35.138814Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T21:45:35.427719Z","title":"The Lennard-Jones potential: when (not) to use it","venue":null,"work_id":"2f103900-2b54-43b5-9f50-5165e98f1abb","year":null},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.393645Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:cf6cd7ae92f17fe08e2d808098aef5aede8e9fa1cde5f1701070a87ef795d754","observation_id":"ac9da7ba-4a6b-48e0-89a6-a57e543cdbc8","resolution":{"observed_at":"2026-08-15T21:45:35.430942Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T21:45:34.399747Z","title":null,"venue":null,"work_id":null,"year":1964},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.399747Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:c8b74166bb90706843c193dd0d92a6ca70815aa05bf712992258f30d573c1700","observation_id":"6882c99a-cd54-4a1a-aada-a8e608cacef2","resolution":{"observed_at":"2026-08-15T21:45:34.399747Z","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.1088/1402-4896/aca443","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:45:34.742844Z","title":"A new correlation model for predicting the melting and boiling temperatures of the Lennard-Jones systems","venue":null,"work_id":"15348b80-2ace-4a6c-8474-795a03aaab65","year":2023},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.402812Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:28cbd4ef4a3b59d258f58a4cba8478e53451861377b7247296862db4d1496d81","observation_id":"062098bf-087b-44d6-a357-21862ea0edeb","resolution":{"observed_at":"2026-08-15T21:45:34.746112Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1080/00268977900101051","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:45:34.734024Z","title":"Nicolas, K.E","venue":null,"work_id":"e37bf47b-fa6a-4aa2-befe-f11b21efa6ce","year":1979},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.405949Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:79d5933cb5f64d1d9bb6a79ed3059247d9b9b94e10fe5b079ac4c6d6b28c83d7","observation_id":"4c3ad7df-895a-4ec4-9432-36af1965b82e","resolution":{"observed_at":"2026-08-15T21:45:34.737064Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"chapter/3484855","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:45:35.120098Z","title":"Ronald Fawcett","venue":null,"work_id":"bcefd1cd-bcda-4473-9481-bd0fa2003cd8","year":2004},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.409009Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:17f603c2bc76a971150e5d453e19a502ace520d047d93159865a73d95758c12d","observation_id":"af913ebd-e605-46f9-bc8b-886b9743247f","resolution":{"observed_at":"2026-08-15T21:45:35.124822Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T21:45:35.418649Z","title":"Charged colloids, polyelectrolytes and biomolecules viewed as strongly coupled Coulomb systems","venue":null,"work_id":"13d316b7-4683-4959-86b6-cca408fa815d","year":null},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.412227Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:275623b051f218354ac4c811529228212daf56db25fb5048b18cfcdb40ac70ee","observation_id":"1b2a1e2e-7e62-4081-baea-422cf4bce72a","resolution":{"observed_at":"2026-08-15T21:45:35.421768Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"books/9789814","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:45:35.052562Z","title":"Dean, Jure Dobnikar, Ali Naji, and Rudolf Podgornik, editors","venue":null,"work_id":"9d78c09a-2260-4ed5-b6d0-75684a10f16d","year":2014},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.419390Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:42f1f3636f2c85628ea2471821f60c67e4cdec322018be368a47d4916ab1fa29","observation_id":"fe8c1337-c78e-4811-828a-13b062e39846","resolution":{"observed_at":"2026-08-15T21:45:35.057284Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1103/physrevb.73.224111","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:45:34.720017Z","title":"Yang and Xiantao Li","venue":null,"work_id":"fe6ef4f7-d565-44ea-b226-4cb464c1bdac","year":2006},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.422418Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:2812a04be8778a12eab45d9a99a8bb0f49b99f393b067a89fe17266346ceea5e","observation_id":"6cbe51bb-4580-4c74-bb86-aaf50f5eb005","resolution":{"observed_at":"2026-08-15T21:45:34.723402Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00366-019-00910-1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:45:34.711212Z","title":"Dudek, Brian Ellul, and Joseph N","venue":null,"work_id":"916c6666-ad0f-411a-aa47-2619c5d7c55a","year":2021},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.425953Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:a86d812fa4353b5c1a6036458c34e05edde863fa198d075e7b06e1fb57ec2ddb","observation_id":"efe4b065-7373-4fa5-a0dd-e22e68de5c46","resolution":{"observed_at":"2026-08-15T21:45:34.714434Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.26434/chemrxiv-2024-9r9gn-v2","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:45:34.702275Z","title":"Bull-Vulpe, Xuanyu Zhu, Henry Agnew, Shreya Gupta, Suman Saha, and Francesco Paesani","venue":null,"work_id":"750c775c-37a5-4ecc-85e7-0dc688c40214","year":2024},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.429968Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:7212f1e03720da79e618bda2ee7c095b606e012ddc0ade029b051f6b0001d5ca","observation_id":"2da22686-6598-48e5-8abd-c36c12de41b3","resolution":{"observed_at":"2026-08-15T21:45:34.705542Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1149/ma2017-01/22/","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:45:34.692785Z","title":"Atomistic Simulations of Ionic Liquid and Polymer Elec- trolytes: From Bulk Phases to Interfacial Behavior","venue":null,"work_id":"ac24cff1-cfa0-4ce7-97cb-855f3d5d0369","year":2017},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.433053Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:f1041d170c7dd4e80c5721e3cfb3e4d904f8ec01ce1a628139abf5357ebb6881","observation_id":"11df071b-41ee-4ce3-862d-b8cc02c76d73","resolution":{"observed_at":"2026-08-15T21:45:34.696574Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2203.02819","last_updated":"2022-03-05T21:41:08Z","snapshot_observed_at":"2026-08-16T17:16:43.779535Z","submitted_at":"2022-03-05T21:41:08Z","title":"Workflow for investigating thermodynamic, structural and energy properties of condensed polymer systems from Molecular Dynamics","version":1},"cited_work":{"arxiv_id":"2203.02819","doi":"10.48550/arxiv.2203.02819","metadata_source":"pith","pith_arxiv_id":"2203.02819","snapshot_observed_at":"2026-08-16T12:16:17.039197Z","title":"Workflow for investigating thermodynamic, structural and energy properties of condensed polymer systems from Molecular Dynamics","venue":"cond-mat.soft","work_id":"4e19f010-749e-420d-bcd3-713f3be8ed4c","year":2022},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.436065Z"},"links":{"cited_paper":"/paper/2203.02819","citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:a5ced861c76be8f7afb121780ec9a7661b15bd95ada5686dd82537abad30221c","observation_id":"db10786b-b19c-435d-8c82-a87b46af7261","resolution":{"observed_at":"2026-08-15T21:45:34.686632Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T21:45:35.410183Z","title":null,"venue":null,"work_id":"fd99d75c-b20e-47ad-8d46-39586b82f48a","year":1957},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.439877Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:d531e488af82363a38f2976605a7dd757235fea86bbd1d94562ec38d1f26f007","observation_id":"8be28012-d0e8-4ee8-ba60-bac8c9c97bee","resolution":{"observed_at":"2026-08-15T21:45:35.413098Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T21:45:34.443487Z","title":"Fast Parallel Algorithms for Short-Range Molecular Dynamics","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.443487Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:18784dc2c24110086bcc059f533f97b8b5a7b0d2a56325740771b847a21191c4","observation_id":"5c8b2418-cc48-4974-87af-2b142860a9f8","resolution":{"observed_at":"2026-08-15T21:45:34.443487Z","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-15T21:45:35.400572Z","title":"Smith, Berk Hess, and Erik Lindahl","venue":null,"work_id":"b4d5c55e-4c39-4c62-9bc3-8f82d33502cb","year":null},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.446599Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:b266f391d77f3c355be858bdb7a15fa266853cd2f54cac9f31dae8e4e557971c","observation_id":"97a37759-ed01-4e52-8658-bc7d510857cd","resolution":{"observed_at":"2026-08-15T21:45:35.404400Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T21:45:34.452764Z","title":"Mark, and Herman J","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.452764Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:eaa3b54ea75daa55e99bf5a18e1147426ddbab1faa3bca5566be110f2de46c5c","observation_id":"3127e6d2-059f-4c06-b9d0-4eab302090aa","resolution":{"observed_at":"2026-08-15T21:45:34.452764Z","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.1021/jm070549","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:45:34.660524Z","title":"Mobley, J","venue":null,"work_id":"a9ddafda-18b8-4aeb-b2f2-1de62209d3ec","year":2008},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.458874Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:134329df6e9032e9b300d648945c4dfe0432fe8d09962fe0b5b0ec865939f89a","observation_id":"c00b5820-9923-41c1-a233-6543e864d5d4","resolution":{"observed_at":"2026-08-15T21:45:34.663804Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0378-3812(03)00357-1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:45:34.651901Z","title":"Friend, David J","venue":null,"work_id":"a21a011d-b3f3-4483-aa34-dca3177cabe9","year":2004},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.462051Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:ca4244c535d4da563856f0184edd46510483165ee867ee98179f6df5c5804eef","observation_id":"c6bc9bfa-1f2f-440a-a0bf-ecfc7d23c47e","resolution":{"observed_at":"2026-08-15T21:45:34.654915Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T21:45:35.391456Z","title":"The first industrial fluid properties simulation challenge","venue":null,"work_id":"6e21b392-7f93-4703-9f1f-c401594eafd1","year":null},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.465187Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:be1278a3a9c58424e05cc152b58edc68b5311b4ae924ddd67ca216bc23bc87d7","observation_id":"5b6d369c-913b-4800-841c-b896bda3ebe0","resolution":{"observed_at":"2026-08-15T21:45:35.394926Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T21:45:34.471597Z","title":"Craven, Ramanish Singh, Co D","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.471597Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:b7f4dcdd246d58a79cbafc14003c36703a961973f5976555c82b64c7b8c73313","observation_id":"b8c14fe0-8b75-417c-a761-b4646cd037e5","resolution":{"observed_at":"2026-08-15T21:45:34.471597Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1021/acs.jcim.2c01498","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:45:34.633643Z","title":"Quach, Nicholas C","venue":null,"work_id":"c203418b-e490-4a87-a4a3-249fa3e60886","year":2023},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.474487Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:0746f03601b8150237b3df9443a74ccf19ec7618c59a7fd8f6dedefdaecdd378","observation_id":"044561a0-3809-4619-bbfb-01054cbc91de","resolution":{"observed_at":"2026-08-15T21:45:34.636839Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"document/9882989","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:45:34.863418Z","title":"Nash, Mohammad Mostafanejad, T","venue":null,"work_id":"33dc85b0-9969-4443-99fa-3861271e1be2","year":2022},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.477580Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:e59e520a0d5d24f2a22316579e1fb438ca9acb49dd84aaae02bbe9b7c626ea79","observation_id":"1a756f12-86bd-4895-826e-687b65bc0785","resolution":{"observed_at":"2026-08-15T21:45:34.867791Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T21:45:34.480645Z","title":"Thompson, Justin B","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.480645Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:b0fac5af808824b7285a9f81d9bdc61d02937d862bbb6208e2b4597668451cb9","observation_id":"8ef4329d-ae95-45ae-8d0d-afeecbae5b1e","resolution":{"observed_at":"2026-08-15T21:45:34.480645Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:45:34.483552Z","title":"Shen, Daniel W","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.483552Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:b0848dbde7c5ef071a3de3e5edfead279d6f841bacd668de8820f14ab6bae01b","observation_id":"ff0c2754-718b-43a8-8e6d-ac9f0f0a524a","resolution":{"observed_at":"2026-08-15T21:45:34.483552Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:45:34.486487Z","title":"Merz and Michael R","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.486487Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:0df55caf4333de85a91e55bb3cf35bc31ad78210236738260acb3a1531d7b627","observation_id":"87bfd22b-ab92-4c23-a7c3-7201a305c366","resolution":{"observed_at":"2026-08-15T21:45:34.486487Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:45:34.489746Z","title":null,"venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.489746Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:3fbe4754e80adb96e9a7984e4cd2a923636e01cfbd71b6f004b947ef18da2eaf","observation_id":"b37b9983-c26d-4ebc-bee4-4775084b7bc8","resolution":{"observed_at":"2026-08-15T21:45:34.489746Z","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-15T21:45:35.377725Z","title":"Kaivola and N","venue":null,"work_id":"4e66c617-29b8-4460-8c29-08a5c7f85ed5","year":2002},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.493255Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:0878e8c34cd4bdd6051affe4c5bf26fce8c7f97109a5f34eaaf2f392a2ae2888","observation_id":"2b504211-5ef9-4620-807c-715576f9e6ef","resolution":{"observed_at":"2026-08-15T21:45:35.380970Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T21:45:35.369456Z","title":null,"venue":null,"work_id":"ac682133-af9e-4743-b002-cac1f972ec6a","year":2017},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.496256Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:621163ea9a2b3855a45087809c31c3380e81718c580c7c999edd760c6b7eb5fc","observation_id":"b74e7b35-df9f-4433-ae04-01f8f373b601","resolution":{"observed_at":"2026-08-15T21:45:35.372369Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/11757283_8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"Floating-Point Verification Using Theorem Proving","venue":"Lecture notes in computer science","work_id":"2f9cd855-fe45-4dab-9ab4-96ac6d601c7f","year":2006},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.499169Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:153c194f4c9406cd12338bdd17e1d1cb03c7d860a99605d43673581247562468","observation_id":"78d0311b-9cfb-4a4b-9dde-52b0312dd1d9","resolution":{"observed_at":"2026-08-15T21:45:34.612416Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T21:45:35.361019Z","title":"Tran and Yan Wang","venue":null,"work_id":"036999e6-30c9-47e1-be9d-dd30077e71d1","year":null},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.502169Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:b1f225b99ad2baa46a92fb7ed24fb5f4a9b35bf783f34314e97e1c9f048a3713","observation_id":"672b19cb-5c05-486a-8c07-ce2a0c32a6c5","resolution":{"observed_at":"2026-08-15T21:45:35.364251Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T21:45:35.351747Z","title":"Conservative Interval Arithmetic in Lean, March 2025","venue":null,"work_id":"e9973d92-ee2d-4ba5-93f8-0a27affd1111","year":2025},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.508689Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:c0f8f93c01c5927807166d3573f50281c7c3a37b7e586172f990e78491c7f573","observation_id":"b167da57-8a65-4bdf-8ad0-b686a373a96e","resolution":{"observed_at":"2026-08-15T21:45:35.354804Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T21:45:35.343668Z","title":"The Lean 4 Theorem Prover and Programming Lan- guage","venue":null,"work_id":"41e0bf03-7034-40f9-ba9b-d68d37decc36","year":2021},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.511866Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:a60de74084302ad5012502a4796a381b5f36e221ab652471245b36461ea964f6","observation_id":"645d1806-7efd-428d-a6c7-0504d05bf5a7","resolution":{"observed_at":"2026-08-15T21:45:35.346728Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T21:45:35.334614Z","title":"Functional Programming in Lean","venue":null,"work_id":"991f03c3-d2a4-4328-8ab6-fc33bc44d699","year":2023},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.515201Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:783104c23d0c4033e942704c661f686d9bf65cc3ca63dd029450bc646db431dd","observation_id":"bdd532bc-513a-485f-ac72-5e624627a8d0","resolution":{"observed_at":"2026-08-15T21:45:35.337727Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T21:45:35.325988Z","title":"Bobbin, Samiha Sharlin, Parivash Feyzishendi, An Hong Dang, Catherine M","venue":null,"work_id":"83cf8cb1-6892-42e4-8aad-e17c77e77099","year":2024},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.518126Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:7c6ebf0fa6832c80190dcc3560669f86991950da5269f24d38adc44e8ffd8b3d","observation_id":"7cb5bb66-a142-4dca-9752-85cc966c290a","resolution":{"observed_at":"2026-08-15T21:45:35.328962Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.08863","last_updated":"2024-05-14T18:00:01Z","snapshot_observed_at":"2026-08-16T13:52:43.071505Z","submitted_at":"2024-05-14T18:00:01Z","title":"HepLean: Digitalising high energy physics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.08863","snapshot_observed_at":"2026-08-15T21:45:34.521179Z","title":"HepLean: Digitalising high energy physics, May 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.521179Z"},"links":{"cited_paper":"/paper/2405.08863","citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:d6280f25f4987a47485982a9a8556bfcc97b4bb7f217e4c0f7f05c10ba5bacf2","observation_id":"60619715-9055-43ca-a693-66fc2124cec4","resolution":{"observed_at":"2026-08-15T21:45:34.521179Z","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-15T21:45:35.317312Z","title":"lecopivo/SciLean, April 2025","venue":null,"work_id":"b4a13767-675d-4482-b295-bb5d8a3dec17","year":2025},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.524733Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:0f59b20bc1b576dd540587e03091ea356c85027545148ac5bf72d06231f131be","observation_id":"fd177347-dda6-4076-a442-e2e2ddaa9893","resolution":{"observed_at":"2026-08-15T21:45:35.320313Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T21:45:35.308198Z","title":"The Mechanics of Proof","venue":null,"work_id":"a2ca9ace-2c0f-48fe-85f2-f65632339ab3","year":2022},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.527775Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:401064b52394987c6a38c7581008ed91e268be2a82051dee6beec6d88597066f","observation_id":"ae38840b-9c72-4f7c-a95c-b949da55675a","resolution":{"observed_at":"2026-08-15T21:45:35.311666Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T21:45:35.299542Z","title":"Understanding molecular simulation: from algorithms to applications","venue":null,"work_id":"994119ad-e3be-45f5-acab-56908930278a","year":2002},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.530854Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:3161dfe94ce4be1a0450fde509cebf12040017b75b296c37b0201d9bf012ce70","observation_id":"10464206-0567-47fb-b667-0767c92c8bf4","resolution":{"observed_at":"2026-08-15T21:45:35.302890Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T21:45:35.288679Z","title":"The Lean Theorem Prover (System Description)","venue":null,"work_id":"9e33e69f-9c18-4496-8e1f-82ceeeb5930a","year":2015},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.533814Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:0f56477f265ab7671ce39d0020e6f0e80ebbd55bd8c984b9247035645217a168","observation_id":"cbfda44f-4451-42fa-bacb-1288034bc5df","resolution":{"observed_at":"2026-08-15T21:45:35.292761Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T21:45:35.278962Z","title":"ComputableReal: A Lean library for computable real numbers,","venue":null,"work_id":"8a1ce254-a759-4b6b-ae27-619d40f55647","year":null},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.536769Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:b723c970722ecf7f0d9b1c6681a0aa7c8740f80ea4011535504215abb48b5f6f","observation_id":"c0953292-a96a-4f15-94d0-03e4eff6664c","resolution":{"observed_at":"2026-08-15T21:45:35.282551Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1021/acs.jctc.9b01183","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:45:34.580601Z","title":"Summers, Justin B","venue":null,"work_id":"0011fab3-3017-43f3-9aeb-49709be8499e","year":2020},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.543327Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:b5d36d5945ac933b7a140d8858c4042313f29f0996e8497ae15546286aa0ff87","observation_id":"90747ff3-b673-48b2-837a-152c73443e9d","resolution":{"observed_at":"2026-08-15T21:45:34.584611Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2411.07667","last_updated":"2024-11-12T09:35:07Z","snapshot_observed_at":"2026-08-17T15:19:42.064336Z","submitted_at":"2024-11-12T09:35:07Z","title":"Formalization of physics index notation in Lean 4","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.07667","snapshot_observed_at":"2026-08-15T21:45:34.546720Z","title":"Formalization of physics index notation in Lean 4, November 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.546720Z"},"links":{"cited_paper":"/paper/2411.07667","citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:1527c1b12fd3cca4210e9f45ae60be0689d7ca6add62fe72b635805468ae7b47","observation_id":"6ae66241-5a24-4ec0-bc39-35a4cce7c5ea","resolution":{"observed_at":"2026-08-15T21:45:34.546720Z","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":"1994.1430","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:45:35.255148Z","title":null,"venue":null,"work_id":"b4d319fc-19b4-4774-a249-f00c586b4c8a","year":1994},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":1994,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.363289Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:3b25bd54ef932f558393f183de43f0bd0a3947b95e5729f697c34a5b1f947bfd","observation_id":"20e5c6cd-39af-4a8b-bd64-3bff32a8daf3","resolution":{"observed_at":"2026-08-15T21:45:35.262217Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T21:45:34.415239Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":2003,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.415239Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:15ec9ce004139679b62e5f9dc3148ba3218ffa19f4cf9bbc9a0e67817974fd38","observation_id":"637bec3d-b2b5-4010-a3d8-41668f429b05","resolution":{"observed_at":"2026-08-15T21:45:34.415239Z","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.1016/s0378-3812(03)00208-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:45:34.642637Z","title":null,"venue":null,"work_id":"eb4e6d80-1cb9-4b4d-beec-f5493fa5e19a","year":null},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":2004,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.468679Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:f696707a782003db9a34891a6d898b0b69a76f929413df91d27cc9bff9d05fdd","observation_id":"438fff52-aefa-4aca-9c1c-f212511da45c","resolution":{"observed_at":"2026-08-15T21:45:34.645990Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T21:45:34.449747Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.449747Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:8e5e3b1ca1698ca6a5bb33dfd2a6b86c3ff2faa900a40ac5283d90303b6f0830","observation_id":"42844bf4-9199-402d-acb6-3f701f64e3b6","resolution":{"observed_at":"2026-08-15T21:45:34.449747Z","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.1016/j.commatsci.2016.10.021","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:45:34.599167Z","title":null,"venue":null,"work_id":"49d2d777-22bd-4bd1-a147-4a3d7fe7eab2","year":2016},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.505525Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:e29a227730d2198a88632d16d80591b7af71256a5fd59e98fb44439fbea04c05","observation_id":"20eb4401-8810-4381-97cd-9c9c6d3fde3a","resolution":{"observed_at":"2026-08-15T21:45:34.602364Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T21:45:34.396586Z","title":"URL: https://pubs.rsc.org/en/content/ articlelanding/2020/cp/c9cp05445f, doi:10.1039/C9CP05445F","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.396586Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:0880c53e734ac37d71dfb0bda203cd35393f90f8d7a510666c431b62981c5fec","observation_id":"1812e3e7-511b-4307-b576-a237292bfe3f","resolution":{"observed_at":"2026-08-15T21:45:34.396586Z","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-15T21:45:35.268192Z","title":null,"venue":null,"work_id":"39ef6195-e49f-4084-8411-39f0dd564cb1","year":null},"citing_paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs","version":2},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-15T21:45:34.540140Z"},"links":{"citing_paper":"/paper/2505.09095"},"observation_digest":"sha256:594d1937ce5defc3417e3abd220219a9ad578be3504dd31a23cac30de6039dd9","observation_id":"5aa2c5ae-9ba6-4b7e-8ab0-769adfe36f67","resolution":{"observed_at":"2026-08-15T21:45:35.271579Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.09095","last_updated":"2025-08-18T15:54:22Z","latest_version":2,"primary_category":"cond-mat.stat-mech","snapshot_observed_at":"2026-08-17T21:37:50.443753Z","submitted_at":"2025-05-14T03:01:25Z","title":"Benchmarking Energy Calculations Using Formal Proofs"},"reference_resolution":{"displayed":61,"state_counts":{"malformed_identifier":5,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":15,"verified_exact":22,"verified_fuzzy":17},"total_outbound_references":61},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 61 of 61 outbound references and 0 inbound Pith citation observations for arXiv:2505.09095."}