Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-15T21:45:34.546720Z
Paper Citation Record · LEDGER
Benchmarking Energy Calculations Using Formal Proofs
As of 22 August 2026, this Paper Citation Record lists 61 of 61 outbound references and 0 inbound Pith citation observations for arXiv:2505.09095.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
61 of 61 outbound references displayed
- verified exact22
- verified fuzzy17
- unresolved15
- parse uncertain0
- malformed identifier5
- metadata mismatch2
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation ee7d20f6-a04d-4cb0-a57d-163da8fe892b · outbound
This paper cites an unresolved cited work.
Benchmarking Energy Calculations Using Formal Proofs Unresolved cited work
Reference 1
- Resolution
- verified exact
- doi, observed 2026-08-15T21:45:34.809705Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation db21e9a2-adc6-4659-badc-b1ca38b7a1f4 · outbound
This paper cites Accurate van der Waals force field for gas adsorption in porous materials.
Benchmarking Energy Calculations Using Formal Proofs Accurate van der Waals force field for gas adsorption in porous materials
Reference 2
- Resolution
- verified exact
- doi, observed 2026-08-15T21:45:34.800586Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation bb5b4204-de81-48d1-8935-43ae6ae5aaae · outbound
This paper cites Progress and Prospect of Theoretical Simulation of Microporous Materials.
Benchmarking Energy Calculations Using Formal Proofs Progress and Prospect of Theoretical Simulation of Microporous Materials
Reference 3
- Resolution
- verified exact
- doi, observed 2026-08-15T21:45:34.791695Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation b137b1ee-2ac8-41bd-bada-92ab67d9ade0 · outbound
This paper cites Mark and Wilfred F.
Benchmarking Energy Calculations Using Formal Proofs Mark and Wilfred F
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T21:45:35.467754Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 642b249a-a94d-4f18-83d3-5ae30cf416ca · outbound
This paper cites an unresolved cited work.
Benchmarking Energy Calculations Using Formal Proofs Unresolved cited work
Reference 5
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-15T21:45:35.198164Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 2080da14-e17a-47be-8168-854f026d0cc2 · outbound
This paper cites Molecular Modelling: Principles and Applications.
Benchmarking Energy Calculations Using Formal Proofs Molecular Modelling: Principles and Applications
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T21:45:35.458440Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation ed100f47-71ff-4c4f-8401-7749f2d97afa · outbound
This paper cites Tildesley.
Benchmarking Energy Calculations Using Formal Proofs Tildesley
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T21:45:35.449778Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 98365b61-e67a-4c8e-889a-61e6dd655414 · outbound
This paper cites Experiments.
Benchmarking Energy Calculations Using Formal Proofs Experiments
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T21:45:34.376706Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 43a51509-68a7-4502-a869-3a241615d296 · outbound
This paper cites Horton, Simon Boothroyd, Pavan Kumar Behara, David L.
Benchmarking Energy Calculations Using Formal Proofs Horton, Simon Boothroyd, Pavan Kumar Behara, David L
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T21:45:35.440059Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation df680fd2-bfec-4ed1-8cbf-ee6c6075ef6d · outbound
This paper cites A Brief Review on Results and Computational Algorithms for Minimizing the Lennard-Jones Potential.
Benchmarking Energy Calculations Using Formal Proofs A Brief Review on Results and Computational Algorithms for Minimizing the Lennard-Jones Potential
Reference 10
- Resolution
- verified exact
- local_arxiv, observed 2026-08-15T21:45:34.778046Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation d619ae05-d511-42df-8be2-12b5827b7640 · outbound
This paper cites Integrated Lennard-Jones Potential between a Sphere and a Thin Rod.
Benchmarking Energy Calculations Using Formal Proofs Integrated Lennard-Jones Potential between a Sphere and a Thin Rod
Reference 11
- Resolution
- verified exact
- local_arxiv, observed 2026-08-15T21:45:34.766813Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 3cf246f9-0e6f-4066-871b-45a2af1d8aba · outbound
This paper cites The Lennard Jones Potential Revisited -- Analytical Expressions for Vibrational Effects in Cubic and Hexagonal Close-Packed Lattices.
Benchmarking Energy Calculations Using Formal Proofs The Lennard Jones Potential Revisited -- Analytical Expressions for Vibrational Effects in Cubic and Hexagonal Close-Packed Lattices
Reference 12
- Resolution
- verified exact
- local_arxiv, observed 2026-08-15T21:45:35.138814Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation ac9da7ba-4a6b-48e0-89a6-a57e543cdbc8 · outbound
This paper cites The Lennard-Jones potential: when (not) to use it.
Benchmarking Energy Calculations Using Formal Proofs The Lennard-Jones potential: when (not) to use it
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T21:45:35.430942Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 6882c99a-cd54-4a1a-aada-a8e608cacef2 · outbound
This paper cites an unresolved cited work.
Benchmarking Energy Calculations Using Formal Proofs Unresolved cited work
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T21:45:34.399747Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 062098bf-087b-44d6-a357-21862ea0edeb · outbound
This paper cites A new correlation model for predicting the melting and boiling temperatures of the Lennard-Jones systems.
Benchmarking Energy Calculations Using Formal Proofs A new correlation model for predicting the melting and boiling temperatures of the Lennard-Jones systems
Reference 15
- Resolution
- verified exact
- doi, observed 2026-08-15T21:45:34.746112Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 4c3ad7df-895a-4ec4-9432-36af1965b82e · outbound
This paper cites Nicolas, K.E.
Benchmarking Energy Calculations Using Formal Proofs Nicolas, K.E
Reference 16
- Resolution
- verified exact
- doi, observed 2026-08-15T21:45:34.737064Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation af913ebd-e605-46f9-bc8b-886b9743247f · outbound
This paper cites Ronald Fawcett.
Benchmarking Energy Calculations Using Formal Proofs Ronald Fawcett
Reference 17
- Resolution
- verified exact
- raw_fallback, observed 2026-08-15T21:45:35.124822Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 1b2a1e2e-7e62-4081-baea-422cf4bce72a · outbound
This paper cites Charged colloids, polyelectrolytes and biomolecules viewed as strongly coupled Coulomb systems.
Benchmarking Energy Calculations Using Formal Proofs Charged colloids, polyelectrolytes and biomolecules viewed as strongly coupled Coulomb systems
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T21:45:35.421768Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation fe8c1337-c78e-4811-828a-13b062e39846 · outbound
This paper cites Dean, Jure Dobnikar, Ali Naji, and Rudolf Podgornik, editors.
Benchmarking Energy Calculations Using Formal Proofs Dean, Jure Dobnikar, Ali Naji, and Rudolf Podgornik, editors
Reference 19
- Resolution
- verified exact
- raw_fallback, observed 2026-08-15T21:45:35.057284Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 6cbe51bb-4580-4c74-bb86-aaf50f5eb005 · outbound
This paper cites Yang and Xiantao Li.
Benchmarking Energy Calculations Using Formal Proofs Yang and Xiantao Li
Reference 20
- Resolution
- verified exact
- doi, observed 2026-08-15T21:45:34.723402Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation efe4b065-7373-4fa5-a0dd-e22e68de5c46 · outbound
This paper cites Dudek, Brian Ellul, and Joseph N.
Benchmarking Energy Calculations Using Formal Proofs Dudek, Brian Ellul, and Joseph N
Reference 21
- Resolution
- verified exact
- doi, observed 2026-08-15T21:45:34.714434Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 2da22686-6598-48e5-8abd-c36c12de41b3 · outbound
This paper cites Bull-Vulpe, Xuanyu Zhu, Henry Agnew, Shreya Gupta, Suman Saha, and Francesco Paesani.
Benchmarking Energy Calculations Using Formal Proofs Bull-Vulpe, Xuanyu Zhu, Henry Agnew, Shreya Gupta, Suman Saha, and Francesco Paesani
Reference 22
- Resolution
- verified exact
- doi, observed 2026-08-15T21:45:34.705542Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 11df071b-41ee-4ce3-862d-b8cc02c76d73 · outbound
This paper cites Atomistic Simulations of Ionic Liquid and Polymer Elec- trolytes: From Bulk Phases to Interfacial Behavior.
Benchmarking Energy Calculations Using Formal Proofs Atomistic Simulations of Ionic Liquid and Polymer Elec- trolytes: From Bulk Phases to Interfacial Behavior
Reference 23
- Resolution
- malformed identifier
- doi_truncated, observed 2026-08-15T21:45:34.696574Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation db10786b-b19c-435d-8c82-a87b46af7261 · outbound
This paper cites Workflow for investigating thermodynamic, structural and energy properties of condensed polymer systems from Molecular Dynamics.
Benchmarking Energy Calculations Using Formal Proofs Workflow for investigating thermodynamic, structural and energy properties of condensed polymer systems from Molecular Dynamics
Reference 24
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-15T21:45:34.686632Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 8be28012-d0e8-4ee8-ba60-bac8c9c97bee · outbound
This paper cites an unresolved cited work.
Benchmarking Energy Calculations Using Formal Proofs Unresolved cited work
Reference 25
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T21:45:35.413098Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 5c8b2418-cc48-4974-87af-2b142860a9f8 · outbound
This paper cites Fast Parallel Algorithms for Short-Range Molecular Dynamics.
Benchmarking Energy Calculations Using Formal Proofs Fast Parallel Algorithms for Short-Range Molecular Dynamics
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T21:45:34.443487Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 97a37759-ed01-4e52-8658-bc7d510857cd · outbound
This paper cites Smith, Berk Hess, and Erik Lindahl.
Benchmarking Energy Calculations Using Formal Proofs Smith, Berk Hess, and Erik Lindahl
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T21:45:35.404400Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 3127e6d2-059f-4c06-b9d0-4eab302090aa · outbound
This paper cites Mark, and Herman J.
Benchmarking Energy Calculations Using Formal Proofs Mark, and Herman J
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T21:45:34.452764Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c00b5820-9923-41c1-a233-6543e864d5d4 · outbound
This paper cites Mobley, J.
Benchmarking Energy Calculations Using Formal Proofs Mobley, J
Reference 30
- Resolution
- verified exact
- doi, observed 2026-08-15T21:45:34.663804Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation c6bc9bfa-1f2f-440a-a0bf-ecfc7d23c47e · outbound
This paper cites Friend, David J.
Benchmarking Energy Calculations Using Formal Proofs Friend, David J
Reference 31
- Resolution
- verified exact
- doi, observed 2026-08-15T21:45:34.654915Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 5b6d369c-913b-4800-841c-b896bda3ebe0 · outbound
This paper cites The first industrial fluid properties simulation challenge.
Benchmarking Energy Calculations Using Formal Proofs The first industrial fluid properties simulation challenge
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T21:45:35.394926Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation b8c14fe0-8b75-417c-a761-b4646cd037e5 · outbound
This paper cites Craven, Ramanish Singh, Co D.
Benchmarking Energy Calculations Using Formal Proofs Craven, Ramanish Singh, Co D
Reference 33
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-15T21:45:34.471597Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 044561a0-3809-4619-bbfb-01054cbc91de · outbound
This paper cites Quach, Nicholas C.
Benchmarking Energy Calculations Using Formal Proofs Quach, Nicholas C
Reference 34
- Resolution
- verified exact
- doi, observed 2026-08-15T21:45:34.636839Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 1a756f12-86bd-4895-826e-687b65bc0785 · outbound
This paper cites Nash, Mohammad Mostafanejad, T.
Benchmarking Energy Calculations Using Formal Proofs Nash, Mohammad Mostafanejad, T
Reference 35
- Resolution
- verified exact
- raw_fallback, observed 2026-08-15T21:45:34.867791Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 8ef4329d-ae95-45ae-8d0d-afeecbae5b1e · outbound
This paper cites Thompson, Justin B.
Benchmarking Energy Calculations Using Formal Proofs Thompson, Justin B
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T21:45:34.480645Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ff0c2754-718b-43a8-8e6d-ac9f0f0a524a · outbound
This paper cites Shen, Daniel W.
Benchmarking Energy Calculations Using Formal Proofs Shen, Daniel W
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T21:45:34.483552Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 87bfd22b-ab92-4c23-a7c3-7201a305c366 · outbound
This paper cites Merz and Michael R.
Benchmarking Energy Calculations Using Formal Proofs Merz and Michael R
Reference 38
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-15T21:45:34.486487Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b37b9983-c26d-4ebc-bee4-4775084b7bc8 · outbound
This paper cites an unresolved cited work.
Benchmarking Energy Calculations Using Formal Proofs Unresolved cited work
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T21:45:34.489746Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2b504211-5ef9-4620-807c-715576f9e6ef · outbound
This paper cites Kaivola and N.
Benchmarking Energy Calculations Using Formal Proofs Kaivola and N
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T21:45:35.380970Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation b74e7b35-df9f-4433-ae04-01f8f373b601 · outbound
This paper cites an unresolved cited work.
Benchmarking Energy Calculations Using Formal Proofs Unresolved cited work
Reference 41
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T21:45:35.372369Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 78d0311b-9cfb-4a4b-9dde-52b0312dd1d9 · outbound
This paper cites Floating-Point Verification Using Theorem Proving.
Benchmarking Energy Calculations Using Formal Proofs Floating-Point Verification Using Theorem Proving
Reference 42
- Resolution
- verified exact
- doi, observed 2026-08-15T21:45:34.612416Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 672b19cb-5c05-486a-8c07-ce2a0c32a6c5 · outbound
This paper cites Tran and Yan Wang.
Benchmarking Energy Calculations Using Formal Proofs Tran and Yan Wang
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T21:45:35.364251Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation b167da57-8a65-4bdf-8ad0-b686a373a96e · outbound
This paper cites Conservative Interval Arithmetic in Lean, March 2025.
Benchmarking Energy Calculations Using Formal Proofs Conservative Interval Arithmetic in Lean, March 2025
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T21:45:35.354804Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 645d1806-7efd-428d-a6c7-0504d05bf5a7 · outbound
This paper cites The Lean 4 Theorem Prover and Programming Lan- guage.
Benchmarking Energy Calculations Using Formal Proofs The Lean 4 Theorem Prover and Programming Lan- guage
Reference 45
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-15T21:45:35.346728Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation bdd532bc-513a-485f-ac72-5e624627a8d0 · outbound
This paper cites Functional Programming in Lean.
Benchmarking Energy Calculations Using Formal Proofs Functional Programming in Lean
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T21:45:35.337727Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 7cb5bb66-a142-4dca-9752-85cc966c290a · outbound
This paper cites Bobbin, Samiha Sharlin, Parivash Feyzishendi, An Hong Dang, Catherine M.
Benchmarking Energy Calculations Using Formal Proofs Bobbin, Samiha Sharlin, Parivash Feyzishendi, An Hong Dang, Catherine M
Reference 47
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-15T21:45:35.328962Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 60619715-9055-43ca-a693-66fc2124cec4 · outbound
This paper cites HepLean: Digitalising high energy physics.
Benchmarking Energy Calculations Using Formal Proofs HepLean: Digitalising high energy physics
Reference 48
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T21:45:34.521179Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fd177347-dda6-4076-a442-e2e2ddaa9893 · outbound
This paper cites lecopivo/SciLean, April 2025.
Benchmarking Energy Calculations Using Formal Proofs lecopivo/SciLean, April 2025
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T21:45:35.320313Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation ae38840b-9c72-4f7c-a95c-b949da55675a · outbound
This paper cites The Mechanics of Proof.
Benchmarking Energy Calculations Using Formal Proofs The Mechanics of Proof
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T21:45:35.311666Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 10464206-0567-47fb-b667-0767c92c8bf4 · outbound
This paper cites Understanding molecular simulation: from algorithms to applications.
Benchmarking Energy Calculations Using Formal Proofs Understanding molecular simulation: from algorithms to applications
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T21:45:35.302890Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation cbfda44f-4451-42fa-bacb-1288034bc5df · outbound
This paper cites The Lean Theorem Prover (System Description).
Benchmarking Energy Calculations Using Formal Proofs The Lean Theorem Prover (System Description)
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T21:45:35.292761Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation c0953292-a96a-4f15-94d0-03e4eff6664c · outbound
This paper cites ComputableReal: A Lean library for computable real numbers,.
Benchmarking Energy Calculations Using Formal Proofs ComputableReal: A Lean library for computable real numbers,
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T21:45:35.282551Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 90747ff3-b673-48b2-837a-152c73443e9d · outbound
This paper cites Summers, Justin B.
Benchmarking Energy Calculations Using Formal Proofs Summers, Justin B
Reference 54
- Resolution
- verified exact
- doi, observed 2026-08-15T21:45:34.584611Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 6ae66241-5a24-4ec0-bc39-35a4cce7c5ea · outbound
This paper cites Formalization of physics index notation in Lean 4.
Benchmarking Energy Calculations Using Formal Proofs Formalization of physics index notation in Lean 4
Reference 55
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T21:45:34.546720Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 20e5c6cd-39af-4a8b-bd64-3bff32a8daf3 · outbound
This paper cites an unresolved cited work.
Benchmarking Energy Calculations Using Formal Proofs Unresolved cited work
Reference 1994
- Resolution
- verified exact
- raw_fallback, observed 2026-08-15T21:45:35.262217Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 637bec3d-b2b5-4010-a3d8-41668f429b05 · outbound
This paper cites an unresolved cited work.
Benchmarking Energy Calculations Using Formal Proofs Unresolved cited work
Reference 2003
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T21:45:34.415239Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 438fff52-aefa-4aca-9c1c-f212511da45c · outbound
This paper cites an unresolved cited work.
Benchmarking Energy Calculations Using Formal Proofs Unresolved cited work
Reference 2004
- Resolution
- verified exact
- doi, observed 2026-08-15T21:45:34.645990Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 42844bf4-9199-402d-acb6-3f701f64e3b6 · outbound
This paper cites an unresolved cited work.
Benchmarking Energy Calculations Using Formal Proofs Unresolved cited work
Reference 2015
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T21:45:34.449747Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 20eb4401-8810-4381-97cd-9c9c6d3fde3a · outbound
This paper cites an unresolved cited work.
Benchmarking Energy Calculations Using Formal Proofs Unresolved cited work
Reference 2017
- Resolution
- verified exact
- doi, observed 2026-08-15T21:45:34.602364Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 1812e3e7-511b-4307-b576-a237292bfe3f · outbound
This paper cites URL: https://pubs.rsc.org/en/content/ articlelanding/2020/cp/c9cp05445f, doi:10.1039/C9CP05445F.
Benchmarking Energy Calculations Using Formal Proofs URL: https://pubs.rsc.org/en/content/ articlelanding/2020/cp/c9cp05445f, doi:10.1039/C9CP05445F
Reference 2020
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T21:45:34.396586Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5aa2c5ae-9ba6-4b7e-8ab0-769adfe36f67 · outbound
This paper cites an unresolved cited work.
Benchmarking Energy Calculations Using Formal Proofs Unresolved cited work
Reference 2025
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T21:45:35.271579Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Pith citing papers
No inbound Pith citation observations are available.