Paper Citation Record · LEDGER

MathCoPilot: An Interactive System for Human-AI Symbiotic Paradigm of Mathematical Research

As of 11 August 2026, this Paper Citation Record lists 12 of 12 outbound references and 0 inbound Pith citation observations for arXiv:2607.14582.

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

pith.paper-citation-record.v1
2607.14582 v1

Coverage vector

measured 12 of 12 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-02T01:44:44.683366Z

measured 12 of 12 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+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

12 of 12 outbound references displayed

verified exact0
verified fuzzy0
unresolved12
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation abedc14d-e547-4887-b06b-4789966ba037 · outbound

This paper cites Its minimum on the interval occurs att=−0.8, yielding 1.9 1 + (−0.8)2 = 1.9 1.64 ≈1.1585.

MathCoPilot: An Interactive System for Human-AI Symbiotic Paradigm of Mathematical Research Its minimum on the interval occurs att=−0.8, yielding 1.9 1 + (−0.8)2 = 1.9 1.64 ≈1.1585

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T01:44:43.300954Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 30400c10-7dd6-4682-8a70-9dbf90f13f2c · outbound

This paper cites an unresolved cited work.

MathCoPilot: An Interactive System for Human-AI Symbiotic Paradigm of Mathematical Research Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-02T01:44:43.468437Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 862fa404-60d1-4d15-beb5-5aab268eaa43 · outbound

This paper cites Summing these minimum contributions provides a lower bound for the derivative: g′(t)≥ −1.0240 + 0.4093 + 1.1585 = 0.5438.

MathCoPilot: An Interactive System for Human-AI Symbiotic Paradigm of Mathematical Research Summing these minimum contributions provides a lower bound for the derivative: g′(t)≥ −1.0240 + 0.4093 + 1.1585 = 0.5438

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-02T01:44:43.647690Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1d81bf3-3a72-4cb7-ab92-677d9d592194 · outbound

This paper cites FF” and “NL.

MathCoPilot: An Interactive System for Human-AI Symbiotic Paradigm of Mathematical Research FF” and “NL

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-02T01:44:43.925362Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc6b6d11-dc69-4868-bd71-bc99282360ea · outbound

This paper cites all test functions,.

MathCoPilot: An Interactive System for Human-AI Symbiotic Paradigm of Mathematical Research all test functions,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-02T01:44:44.683366Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b75e8700-6e06-4970-a160-b10889682625 · outbound

This paper cites We first find the maximum off(t)on the interval[−0.8,−0.1].

MathCoPilot: An Interactive System for Human-AI Symbiotic Paradigm of Mathematical Research We first find the maximum off(t)on the interval[−0.8,−0.1]

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-02T01:44:43.794807Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 061d609a-9415-49f5-afb1-253b1c8bd81d · outbound

This paper cites Hence ϕ is strictly decreasing on the interval, so its unique maximum occurs ata=−0.7.

MathCoPilot: An Interactive System for Human-AI Symbiotic Paradigm of Mathematical Research Hence ϕ is strictly decreasing on the interval, so its unique maximum occurs ata=−0.7

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-02T01:44:44.122065Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 64bec9e0-b845-4fb1-a3ee-837490e74f37 · outbound

This paper cites Since −ϕ′(t) is bounded away from zero on [a, b], q is differen- tiable andq ′ is bounded by a concrete constant.

MathCoPilot: An Interactive System for Human-AI Symbiotic Paradigm of Mathematical Research Since −ϕ′(t) is bounded away from zero on [a, b], q is differen- tiable andq ′ is bounded by a concrete constant

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-02T01:44:44.307906Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84396f99-27e3-4c5e-9ed6-99c863c18f15 · outbound

This paper cites Therefore I(x) = q(a)exϕ(a) x − q(b)exϕ(b) x + 1 x Z b a q′(t)exϕ(t) dt.

MathCoPilot: An Interactive System for Human-AI Symbiotic Paradigm of Mathematical Research Therefore I(x) = q(a)exϕ(a) x − q(b)exϕ(b) x + 1 x Z b a q′(t)exϕ(t) dt

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-02T01:44:44.442669Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9cd7cb9a-2703-4a09-8ed9-e918fdd6b3d5 · outbound

This paper cites The same separation bounds the integral remainder by O(exϕ(a)/x2).

MathCoPilot: An Interactive System for Human-AI Symbiotic Paradigm of Mathematical Research The same separation bounds the integral remainder by O(exϕ(a)/x2)

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-02T01:44:44.563339Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a01a1f4-34d8-450a-a72c-54b3e884f696 · outbound

This paper cites Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving.

MathCoPilot: An Interactive System for Human-AI Symbiotic Paradigm of Mathematical Research Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving

Reference 1970

Resolution: unresolved; no resolver link, observed 2026-08-02T01:44:43.074222Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 424e7a51-d171-479a-a9f7-6b9f123d8234 · outbound

This paper cites Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction.

MathCoPilot: An Interactive System for Human-AI Symbiotic Paradigm of Mathematical Research Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction

Reference 1974

Resolution: unresolved; no resolver link, observed 2026-08-02T01:44:43.160924Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.