Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-10T17:48:17.363568Z
Paper Citation Record · LEDGER
As of 13 August 2026, this Paper Citation Record lists 46 of 46 outbound references and 0 inbound Pith citation observations for arXiv:2604.07240.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-10T17:48:17.363568Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+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
46 of 46 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation 21ca3ae1-dc3d-4050-b950-46cf92246428 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture First proof
Reference 1
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 63f6e9c1-b6cf-4435-bc27-8d97e4c99ea2 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture On the competitive ratio of the work function algorithm for the k-server problem
Reference 2
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 72cd3ecd-3d73-42c9-ab73-8a09c48f3826 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture The 3-server problem in the plane
Reference 3
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 4ef49514-12b2-4c39-9bac-70e38cd75c1c · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Brenner, Vincent Cohen-Addad, and David Woodruff.Solving an Open Problem in Theoretical Physics using AI-Assisted Discovery
Reference 4
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 52db7c71-7446-4644-9efd-842bc5106cd2 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Applying language models to algebraic topology: generating simplicial cycles using multi-labeling in Wu's formula
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation f84507ac-38ef-411a-ad70-476fb7e57558 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Early science acceleration experiments with gpt-5
Reference 6
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation be54e92a-62df-446a-88f0-9feb527cea85 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture PatternBoost: Constructions in Mathematics with a Little Help from AI
Reference 7
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation acf6a90e-57f8-4a8d-9c3d-7cfc1360add3 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Parity of $k$-differentials in genus zero and one
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 07fe5753-cb9c-447b-b9c2-f650b9013b95 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Fel’s conjecture on syzygies of numerical semigroups, 2026.https://arxiv.org/abs/2602.03716
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 7a2010e6-e3b3-4419-8eb0-2ac233ca0584 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture An optimal on-line algorithm for k servers on trees
Reference 10
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 41436ae1-c0c5-48b6-a55c-2b079f9e3364 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture New results on server problems
Reference 11
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation ceb67af9-bb80-46c5-a2a0-33c8916d5549 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Towards the k-server conjecture: A unifying potential, pushing the frontier to the circle
Reference 12
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation f01d649e-41ab-42aa-85c2-4b197136cd84 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Advancing mathematics by guiding human intuition with AI
Reference 13
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 1dfb71f0-e7c1-4b99-9b8d-13ea5b268bf9 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Unresolved cited work
Reference 14
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 3cd2d430-2571-41f5-82fa-b1c2d215ec77 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Epoch AI
Reference 15
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 2b06401a-1db2-4146-87f9-f5af168e31b7 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Semi-autonomous mathematics discovery with gemini: A case study on the erd\h{o}s problems
Reference 16
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 9d0e780c-7495-46c6-8f88-ef31480d9be5 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Trinh, Garrett Bingham, Dawsen Hwang, Yuri Chervonyi, Junehyuk Jung,JoonkyungLee,CarloPagano,SanghyunKim,FedericoPasqualotto,SergeiGukov, Jonathan N
Reference 17
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 819623f4-a129-449d-bce4-0a8b39f57a90 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Competitive k-server algorithms
Reference 18
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation df8bf479-8656-483d-ab1b-5bdd7559d80f · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Mathematical exploration and discovery at scale
Reference 19
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 63d043a5-6d22-4f5e-b47e-3cb78c72e6a6 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Random Baselines for Simple Code Problems are Competitive with Code Evolution
Reference 20
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 768a1353-c835-449e-96c1-b29c33efa2ea · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Reference 21
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation a70e4201-8533-48b7-a946-eccfcf711dd2 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Guevara, A
Reference 22
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 641748ed-292b-4679-a7c5-4a271bc74489 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Deterministic 3-Server on a Circle and the Limitation of Canonical Potentials
Reference 23
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 9613b8d0-2e13-445a-a88f-c8293574388e · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture doi:10.48550/arXiv.2602.02919 , url =
Reference 24
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 24ccce82-e981-4f2e-b766-fb8ae7e8b7ea · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Thek-server problem
Reference 25
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 874812ea-10ba-45d5-a33b-f805e58cfd39 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture On thek-server conjecture
Reference 26
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation f8ba69e4-0960-4123-8f34-ff13577c91e2 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Unresolved cited work
Reference 27
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 631006c5-6fb6-4f93-a0d1-e9d5346b3c9b · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Deep Learning for Symbolic Mathematics
Reference 28
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation e39590a1-06c5-402c-b694-81b99885bb10 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture ShinkaEvolve: Towards Open-Ended And Sample-Efficient Program Evolution
Reference 29
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 87a0b853-8e44-4a22-894b-1ea867171e8a · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery
Reference 30
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 651a1593-4031-4f1a-a911-de3641e35a7d · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture 10 Alexander Grigoriev and Hans L Bodlaender
Reference 31
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation bce3b57f-800c-4bcd-9ed5-8ac37870ca61 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Reinforced generation of combinatorial structures: Hardness of approximation
Reference 32
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 25c3b642-04d7-4050-8b6a-61fa7870184e · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Reinforced Generation of Combinatorial Structures: Ramsey Numbers
Reference 33
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 529a5899-0a04-41f7-b0b2-848f9cea9faf · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture AlphaEvolve: A coding agent for scientific and algorithmic discovery
Reference 34
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation d2fd2bf0-5bf6-4303-8d7b-39abd958fce9 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Learning selection strategies in Buchberger's algorithm
Reference 35
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation dc2a6f50-cdf6-462e-92c2-76cd80082fc1 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Mathematical discoveries from program search with large language models
Reference 36
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation a28f8f00-9fc4-4ad8-9c64-0bfae2465312 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture 2025.url: https://github.com/algorithmicsuperintelligence/openevolve
Reference 37
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 223296a6-393e-4b52-ae49-a8afd3d596fc · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Unresolved cited work
Reference 38
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation e521f4ec-6c4f-4b97-b428-9a2b8870a1a6 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Algorithm Discovery With LLMs: Evolutionary Search Meets Reinforcement Learning
Reference 39
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 95e3724f-775f-492c-83d2-6f170646829d · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Constructions in combinatorics via neural networks
Reference 40
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation ac8e26b1-39cb-4d26-86ad-57273b3c8b90 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Loongflow: Directed evolutionary search via a cognitive plan-execute-summarize paradigm
Reference 41
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 2897c87d-055d-45e3-a706-ea95dfd78b8e · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture ThetaEvolve: Test-time Learning on Open Problems
Reference 42
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation fa3419c3-0a44-4369-9b8b-041e3899768e · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Online Matching with Stochastic Rewards: Provable Better Bound via Adversarial Reinforcement Learning
Reference 43
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation d79f8a0b-6293-482f-8421-42589db83863 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture arXiv preprint arXiv:2505.13259 , year =
Reference 44
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 8193bc31-ecab-4cf5-bfec-97eaad5bff8c · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Unresolved cited work
Reference 45
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation c2778d67-d97e-44b3-9fb4-4a3901167c47 · outbound
$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture "" Maps ‘config‘ (a tuple of point indices) to its index in the work-function vector, i.e., w(C) = wf[idx] where config_to_idx(C) = idx
Reference 46
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
No inbound Pith citation observations are available.