Paper Citation Record · LEDGER

Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study

As of 17 August 2026, this Paper Citation Record lists 16 of 16 outbound references and 0 inbound Pith citation observations for arXiv:2607.21307.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.21307 v1

Coverage vector

measured 16 of 16 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T07:53:57.541081Z

measured 16 of 16 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

16 of 16 outbound references displayed

verified exact0
verified fuzzy0
unresolved16
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 5a121235-5e4c-4c13-9954-22af46768b98 · outbound

This paper cites QEL: Rational Ensemble Logic for Model-Checking-Based Cohort Discovery with Real-World Electrophysiology Data.Under review, 2026.

Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study QEL: Rational Ensemble Logic for Model-Checking-Based Cohort Discovery with Real-World Electrophysiology Data.Under review, 2026

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:56.551349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f4f3acb-f906-4432-a09e-c60a3dea47d4 · outbound

This paper cites Temporal ensemble logic for integrative representation of the entirety of clinical trials.32nd International Symposium on Temporal Representation and Reasoning (TIME 2025).

Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study Temporal ensemble logic for integrative representation of the entirety of clinical trials.32nd International Symposium on Temporal Representation and Reasoning (TIME 2025)

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:56.628957Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4716623b-bc3d-474e-95d1-899dc56259ed · outbound

This paper cites Formal representation of eligibility criteria: A literature review.Journal of the American Medical Informatics Association.

Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study Formal representation of eligibility criteria: A literature review.Journal of the American Medical Informatics Association

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:56.741765Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8dc2ffc-1b73-45be-a58e-6713ce0583a2 · outbound

This paper cites Temporal Ensemble Logic.

Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study Temporal Ensemble Logic

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:56.822209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36cafffd-e810-4a51-9ae6-07514fe2bcbc · outbound

This paper cites Study Data Tabulation Model (SDTM) [Internet].

Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study Study Data Tabulation Model (SDTM) [Internet]

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:56.902621Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4048d47a-1cd6-437c-a408-e28638867626 · outbound

This paper cites Ontology for Biomedical Investigations (OBI) [Internet].

Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study Ontology for Biomedical Investigations (OBI) [Internet]

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:56.987239Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 171a8e26-59df-4d3a-9bb7-caf3fdff55ac · outbound

This paper cites The temporal logic of programs.

Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study The temporal logic of programs

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:57.076140Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23b1b9fe-7060-48f3-b186-c9660fe18886 · outbound

This paper cites Temporal data representation, normalization, extraction, and reasoning: A review from clinical domain.

Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study Temporal data representation, normalization, extraction, and reasoning: A review from clinical domain

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:57.130790Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06173a88-5791-45f6-b682-16392172c648 · outbound

This paper cites Using features of Arden Syntax with object-oriented medical data models for guideline modeling.

Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study Using features of Arden Syntax with object-oriented medical data models for guideline modeling

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:57.196188Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97de3b10-8679-4aba-87a1-8a8cf6174083 · outbound

This paper cites BFO: Basic formal ontology.

Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study BFO: Basic formal ontology

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:57.238452Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7053e7d1-2377-4c70-aeeb-2706def15477 · outbound

This paper cites Maintaining knowledge about temporal intervals.Communications of the ACM.

Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study Maintaining knowledge about temporal intervals.Communications of the ACM

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:57.263718Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97c41903-83f8-4cb8-b7f8-878b58b6ed7b · outbound

This paper cites A propositional modal logic of time intervals.Journal of the ACM.

Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study A propositional modal logic of time intervals.Journal of the ACM

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:57.310848Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14505dec-192c-4741-8357-5e7855873fb3 · outbound

This paper cites CT-TEL-scaleup: Scaling Up Formal Representation of Clinical Trial Proto- cols in Ensemble Logic Using LLMs [Internet].

Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study CT-TEL-scaleup: Scaling Up Formal Representation of Clinical Trial Proto- cols in Ensemble Logic Using LLMs [Internet]

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:57.356050Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c8086af-4b67-446f-b147-b462f59d4554 · outbound

This paper cites The unified medical language system (UMLS): integrating biomedical terminology.

Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study The unified medical language system (UMLS): integrating biomedical terminology

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:57.408769Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07568d6b-4e9a-4fbc-99cf-73f9f604dbdd · outbound

This paper cites AD-CDO: A Lightweight Ontology for Representing Eligibility Criteria in Alzheimer’s Disease Clinical Trials.

Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study AD-CDO: A Lightweight Ontology for Representing Eligibility Criteria in Alzheimer’s Disease Clinical Trials

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:57.458416Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d14e870e-3204-4864-b9fc-a85d31017cdc · outbound

This paper cites Bethesda (MD): National Library of Medicine (US).

Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study Bethesda (MD): National Library of Medicine (US)

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T07:53:57.541081Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.