Pith. sign in

Paper Citation Record · LEDGER

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture

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.

pith.paper-citation-record.v1
2604.07240 v1

Coverage vector

measured 46 of 46 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-10T17:48:17.363568Z

measured 46 of 46 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+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

46 of 46 outbound references displayed

  • verified exact29
  • verified fuzzy13
  • unresolved3
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 21ca3ae1-dc3d-4050-b950-46cf92246428 · outbound

This paper cites First proof.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture First proof

Reference 1

Resolution
verified exact
arxiv_id, observed 2026-05-11T06:05:58.141507Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:e4a73b33b0881d14b9104334dcd10b46b3ff6420eebeed555412c4043408fe4d

Observation 63f6e9c1-b6cf-4435-bc27-8d97e4c99ea2 · outbound

This paper cites On the competitive ratio of the work function algorithm for the k-server problem.

$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

Resolution
verified fuzzy
raw_fallback, observed 2026-05-17T08:54:20.084656Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:6bb062295af2d3920016f36b36e4caa14b625e6eea974ebecf840208aee36cab

Observation 72cd3ecd-3d73-42c9-ab73-8a09c48f3826 · outbound

This paper cites The 3-server problem in the plane.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture The 3-server problem in the plane

Reference 3

Resolution
verified fuzzy
raw_fallback, observed 2026-05-17T08:54:20.076887Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:24b368e282fb2dbc2c7f95595b42db986d1cb543140bbfb417414337b8d77ece

Observation 4ef49514-12b2-4c39-9bac-70e38cd75c1c · outbound

This paper cites Brenner, Vincent Cohen-Addad, and David Woodruff.Solving an Open Problem in Theoretical Physics using AI-Assisted Discovery.

$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

Resolution
verified exact
arxiv_id, observed 2026-05-11T06:05:58.117944Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:453c6c2a8dbd38359dc95a061a3ffac753120fd0b749e4b09316a699f3b78531

Observation 52db7c71-7446-4644-9efd-842bc5106cd2 · outbound

This paper cites Applying language models to algebraic topology: generating simplicial cycles using multi-labeling in Wu's formula.

$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

Resolution
verified exact
arxiv_id, observed 2026-05-11T06:05:58.151306Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:79868c70c0933e10137a21860ee78d56ccd5b94061d7335ad31ed20c09a6d21a

Observation f84507ac-38ef-411a-ad70-476fb7e57558 · outbound

This paper cites Early science acceleration experiments with gpt-5.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Early science acceleration experiments with gpt-5

Reference 6

Resolution
verified exact
arxiv_id, observed 2026-05-11T06:05:58.099606Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:e101258b95587f8f51bc56c95ad7194bfd7cb5145165f1f1b7e848cd7057dcf8

Observation be54e92a-62df-446a-88f0-9feb527cea85 · outbound

This paper cites PatternBoost: Constructions in Mathematics with a Little Help from AI.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture PatternBoost: Constructions in Mathematics with a Little Help from AI

Reference 7

Resolution
verified exact
arxiv_id, observed 2026-05-11T06:05:58.156549Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:b0070aef852aa0f7f14adfe1a16269a07bb9cc3c0a4c929413c732eadaad207f

Observation acf6a90e-57f8-4a8d-9c3d-7cfc1360add3 · outbound

This paper cites Parity of $k$-differentials in genus zero and one.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Parity of $k$-differentials in genus zero and one

Reference 8

Resolution
verified exact
arxiv_id, observed 2026-07-07T03:17:17.768539Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:587e76756350dcd9711da5786965dc760e262831a6273213d481c3212c659a89

Observation 07fe5753-cb9c-447b-b9c2-f650b9013b95 · outbound

This paper cites Fel’s conjecture on syzygies of numerical semigroups, 2026.https://arxiv.org/abs/2602.03716.

$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

Resolution
verified exact
arxiv_id, observed 2026-05-11T06:05:58.227856Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:29d47a8384d3933429342d3a768d22764db87d232e2186d13e5dc3901579fb3f

Observation 7a2010e6-e3b3-4419-8eb0-2ac233ca0584 · outbound

This paper cites An optimal on-line algorithm for k servers on trees.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture An optimal on-line algorithm for k servers on trees

Reference 10

Resolution
verified fuzzy
raw_fallback, observed 2026-05-17T08:54:20.065987Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:a64d3d274b7f39d95ab41c2907fe5f0812293e88f38d9d19d2337d100c7baac6

Observation 41436ae1-c0c5-48b6-a55c-2b079f9e3364 · outbound

This paper cites New results on server problems.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture New results on server problems

Reference 11

Resolution
verified fuzzy
raw_fallback, observed 2026-05-17T08:54:20.069482Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:a80d59bb78186825296bc6f3d4fc69ad214488a48a216a0bee1078f95ea57022

Observation ceb67af9-bb80-46c5-a2a0-33c8916d5549 · outbound

This paper cites Towards the k-server conjecture: A unifying potential, pushing the frontier to the circle.

$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

Resolution
verified exact
arxiv_id, observed 2026-05-11T06:05:58.161862Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:4febd18551a0e6c35423d02e6cfd6b69a79806f318c758d206258744bf8a5e79

Observation f01d649e-41ab-42aa-85c2-4b197136cd84 · outbound

This paper cites Advancing mathematics by guiding human intuition with AI.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Advancing mathematics by guiding human intuition with AI

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-05-17T08:54:20.080807Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:8eb92d430b0710bc54e63b8cdbf1034d2bc893c7e594eac83df6d5d4182e8e1f

Observation 1dfb71f0-e7c1-4b99-9b8d-13ea5b268bf9 · outbound

This paper cites an unresolved cited work.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Unresolved cited work

Reference 14

Resolution
verified exact
arxiv_id, observed 2026-05-11T06:05:58.173669Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:fed38aa08f3100904e2a612efd2b808034921b0e6b48cafeab41abb5c06711f4

Observation 3cd2d430-2571-41f5-82fa-b1c2d215ec77 · outbound

This paper cites Epoch AI.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Epoch AI

Reference 15

Resolution
verified fuzzy
raw_fallback, observed 2026-05-17T08:54:20.058393Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:f3928836a40c74f66728adf7b6e6dfd1cf11885ac8fb42a1863b7c1ad5935a21

Observation 2b06401a-1db2-4146-87f9-f5af168e31b7 · outbound

This paper cites Semi-autonomous mathematics discovery with gemini: A case study on the erd\h{o}s problems.

$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

Resolution
verified exact
arxiv_id, observed 2026-05-11T06:05:58.146706Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:a207caf783702f4b0494c0d8af1b10efe6b0fc8a97c8b4e38e535956361984a2

Observation 9d0e780c-7495-46c6-8f88-ef31480d9be5 · outbound

This paper cites Trinh, Garrett Bingham, Dawsen Hwang, Yuri Chervonyi, Junehyuk Jung,JoonkyungLee,CarloPagano,SanghyunKim,FedericoPasqualotto,SergeiGukov, Jonathan N.

$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

Resolution
verified exact
arxiv_id, observed 2026-05-11T06:05:58.282933Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:6ace98caee1270aab858953671ce300709e942ca3586881d5d5f4c3fb74f2e70

Observation 819623f4-a129-449d-bce4-0a8b39f57a90 · outbound

This paper cites Competitive k-server algorithms.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Competitive k-server algorithms

Reference 18

Resolution
verified fuzzy
raw_fallback, observed 2026-05-17T08:54:20.054541Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:1bdd021d82bbb19e3aad7ec3b84d803bcdd17de1bec5ab765715e574cadf07d1

Observation df8bf479-8656-483d-ab1b-5bdd7559d80f · outbound

This paper cites Mathematical exploration and discovery at scale.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Mathematical exploration and discovery at scale

Reference 19

Resolution
verified exact
arxiv_id, observed 2026-05-11T06:05:58.311647Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:304abfba5e5af80675c36d1d06851fb76cf8e149b90f4eeb2855db1b6e892978

Observation 63d043a5-6d22-4f5e-b47e-3cb78c72e6a6 · outbound

This paper cites Random Baselines for Simple Code Problems are Competitive with Code Evolution.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Random Baselines for Simple Code Problems are Competitive with Code Evolution

Reference 20

Resolution
verified fuzzy
raw_fallback, observed 2026-05-17T08:54:20.046495Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:d1474f45b8e02e43a29732ae0b4a9bd9ffc99419e299db09d0ca13839fc5a5ae

Observation 768a1353-c835-449e-96c1-b29c33efa2ea · outbound

This paper cites FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI

Reference 21

Resolution
verified exact
arxiv_id, observed 2026-05-17T00:44:01.791449Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:fa2652137c9b7582fe362a5470d2103e08aad2c0a3d1f858c67630f4fc9a8bdb

Observation a70e4201-8533-48b7-a946-eccfcf711dd2 · outbound

This paper cites Guevara, A.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Guevara, A

Reference 22

Resolution
verified exact
arxiv_id, observed 2026-05-11T06:05:58.210778Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:cf907599d7e55995c16269262e4768e9f054390e4ae05c63e68a169cc60fb087

Observation 641748ed-292b-4679-a7c5-4a271bc74489 · outbound

This paper cites Deterministic 3-Server on a Circle and the Limitation of Canonical Potentials.

$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

Resolution
verified exact
arxiv_id, observed 2026-05-11T06:05:58.294338Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:24e6b922e570d7ab196b083fff9ae904c3b13da90a4637a00009651e26e733c9

Observation 9613b8d0-2e13-445a-a88f-c8293574388e · outbound

This paper cites doi:10.48550/arXiv.2602.02919 , url =.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture doi:10.48550/arXiv.2602.02919 , url =

Reference 24

Resolution
verified exact
arxiv_id, observed 2026-05-11T06:05:58.089178Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:203d181c0096acb4324c68084d4be4253ff6a6f4d495f434ae2ab26e2d26ebcb

Observation 24ccce82-e981-4f2e-b766-fb8ae7e8b7ea · outbound

This paper cites Thek-server problem.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Thek-server problem

Reference 25

Resolution
verified fuzzy
raw_fallback, observed 2026-05-17T08:54:20.049012Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:4ae199f92cbdd3b2b52c9e3d0344d8b6f4d9bd6a1b2f246a87b7ca442187d252

Observation 874812ea-10ba-45d5-a33b-f805e58cfd39 · outbound

This paper cites On thek-server conjecture.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture On thek-server conjecture

Reference 26

Resolution
verified fuzzy
raw_fallback, observed 2026-05-17T08:54:20.051883Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:03ab51a31fd1873867db1a8a30ed1d2782b76dc4898838ee0becd1c8f1eef64d

Observation f8ba69e4-0960-4123-8f34-ff13577c91e2 · outbound

This paper cites an unresolved cited work.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Unresolved cited work

Reference 27

Resolution
unresolved
raw_fallback, observed 2026-05-17T08:54:20.061648Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:a8aa0bf0c5490427571b2e47e3b8c11334e8816a3e0f0567b16a457ae85c6385

Observation 631006c5-6fb6-4f93-a0d1-e9d5346b3c9b · outbound

This paper cites Deep Learning for Symbolic Mathematics.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Deep Learning for Symbolic Mathematics

Reference 28

Resolution
verified exact
arxiv_id, observed 2026-05-11T06:05:58.127984Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:45e4295aa1e506ca817e62f3ead6af6e20c47bae746cce322aa7741fe5659aa0

Observation e39590a1-06c5-402c-b694-81b99885bb10 · outbound

This paper cites ShinkaEvolve: Towards Open-Ended And Sample-Efficient Program Evolution.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture ShinkaEvolve: Towards Open-Ended And Sample-Efficient Program Evolution

Reference 29

Resolution
verified exact
arxiv_id, observed 2026-05-16T13:58:59.364492Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:ffbbd3e7dacc2138429dc43da1ed70192c6df9dbbac9190a09bf6717692d216c

Observation 87a0b853-8e44-4a22-894b-1ea867171e8a · outbound

This paper cites The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery

Reference 30

Resolution
verified exact
local_arxiv, observed 2026-05-11T06:05:58.083789Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:53dde75577dc8a418fa68f5d9d600ac6ddeb6a0f4fb3f782b4e27bc81064922a

Observation 651a1593-4031-4f1a-a911-de3641e35a7d · outbound

This paper cites 10 Alexander Grigoriev and Hans L Bodlaender.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture 10 Alexander Grigoriev and Hans L Bodlaender

Reference 31

Resolution
metadata mismatch
arxiv_id, observed 2026-05-11T06:05:58.221073Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:e7b3ea642c3042b165abad1fe249222750fbc7d3d26f7f6b5499e4ad32223621

Observation bce3b57f-800c-4bcd-9ed5-8ac37870ca61 · outbound

This paper cites Reinforced generation of combinatorial structures: Hardness of approximation.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Reinforced generation of combinatorial structures: Hardness of approximation

Reference 32

Resolution
verified exact
arxiv_id, observed 2026-05-11T06:05:58.244215Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:9323facd8c7a4436716ab632f4157166ab772203c74e58256538cd08f12ba734

Observation 25c3b642-04d7-4050-8b6a-61fa7870184e · outbound

This paper cites Reinforced Generation of Combinatorial Structures: Ramsey Numbers.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Reinforced Generation of Combinatorial Structures: Ramsey Numbers

Reference 33

Resolution
verified exact
local_arxiv, observed 2026-05-11T06:05:58.094184Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:f70e350681d4a9b9c89521ec5f1d0d23f138fbefbe1d607fc5b847a17bf84d2f

Observation 529a5899-0a04-41f7-b0b2-848f9cea9faf · outbound

This paper cites AlphaEvolve: A coding agent for scientific and algorithmic discovery.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture AlphaEvolve: A coding agent for scientific and algorithmic discovery

Reference 34

Resolution
verified exact
local_arxiv, observed 2026-05-11T06:05:58.193799Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:5ef8e9f8b61e70a698f6bf81613bd09bd30470db1223ca07520ede0cb7ae8875

Observation d2fd2bf0-5bf6-4303-8d7b-39abd958fce9 · outbound

This paper cites Learning selection strategies in Buchberger's algorithm.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Learning selection strategies in Buchberger's algorithm

Reference 35

Resolution
verified exact
arxiv_id, observed 2026-05-11T06:05:58.204411Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:587b31fa453f4801274219590924400d8cf16285f15267875643e5eedb528963

Observation dc2a6f50-cdf6-462e-92c2-76cd80082fc1 · outbound

This paper cites Mathematical discoveries from program search with large language models.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Mathematical discoveries from program search with large language models

Reference 36

Resolution
verified fuzzy
raw_fallback, observed 2026-05-17T08:54:20.072922Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:0543b8af1a632367272eab86b25aa6182167bf0d3333a1b37c03f09107d26d2b

Observation a28f8f00-9fc4-4ad8-9c64-0bfae2465312 · outbound

This paper cites 2025.url: https://github.com/algorithmicsuperintelligence/openevolve.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture 2025.url: https://github.com/algorithmicsuperintelligence/openevolve

Reference 37

Resolution
verified fuzzy
raw_fallback, observed 2026-05-17T08:54:20.043295Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:c2cc03feb5549b2b9f1313e474a0237af57c64667c8a923680827baa4c0548bf

Observation 223296a6-393e-4b52-ae49-a8afd3d596fc · outbound

This paper cites an unresolved cited work.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Unresolved cited work

Reference 38

Resolution
unresolved
raw_fallback, observed 2026-05-17T08:54:20.037785Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:8f80e8d33dcfe43b139f57f5665fb40de3df022d6900cd0c9c7ee40f75108a67

Observation e521f4ec-6c4f-4b97-b428-9a2b8870a1a6 · outbound

This paper cites Algorithm Discovery With LLMs: Evolutionary Search Meets Reinforcement Learning.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Algorithm Discovery With LLMs: Evolutionary Search Meets Reinforcement Learning

Reference 39

Resolution
verified exact
arxiv_id, observed 2026-05-26T03:03:09.892884Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:ca957e095da5babe59f6c7d5d350c0f2ae19d5d12d5a96a29f8938eb9010111c

Observation 95e3724f-775f-492c-83d2-6f170646829d · outbound

This paper cites Constructions in combinatorics via neural networks.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Constructions in combinatorics via neural networks

Reference 40

Resolution
verified exact
arxiv_id, observed 2026-05-11T06:05:58.112559Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:bcea7146dc9355a6d7e36abdc83d5ec637379dde932be8bd383d70afd6bffd8b

Observation ac8e26b1-39cb-4d26-86ad-57273b3c8b90 · outbound

This paper cites Loongflow: Directed evolutionary search via a cognitive plan-execute-summarize paradigm.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Loongflow: Directed evolutionary search via a cognitive plan-execute-summarize paradigm

Reference 41

Resolution
verified exact
arxiv_id, observed 2026-05-11T06:05:58.104969Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:2b1c8c9dc77aaf6edf43e36e8352fbfeb306166f789a018af422a94c9da506dc

Observation 2897c87d-055d-45e3-a706-ea95dfd78b8e · outbound

This paper cites ThetaEvolve: Test-time Learning on Open Problems.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture ThetaEvolve: Test-time Learning on Open Problems

Reference 42

Resolution
verified exact
arxiv_id, observed 2026-05-16T13:16:27.444222Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:ebb7a0d9f68670183796d02bfb4df34bb4191275815436e854a7b375502646d8

Observation fa3419c3-0a44-4369-9b8b-041e3899768e · outbound

This paper cites Online Matching with Stochastic Rewards: Provable Better Bound via Adversarial Reinforcement Learning.

$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

Resolution
verified fuzzy
raw_fallback, observed 2026-05-17T08:54:20.040626Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:3bb94b85a430c6587ab63fbdb5601d578edca3ca3e7b9133c573f40a577a47b9

Observation d79f8a0b-6293-482f-8421-42589db83863 · outbound

This paper cites arXiv preprint arXiv:2505.13259 , year =.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture arXiv preprint arXiv:2505.13259 , year =

Reference 44

Resolution
verified exact
arxiv_id, observed 2026-05-11T06:05:58.269344Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:fb21c5e04b9c777cc9f803d1bf9010a69db5f229bb6e20261842becc8cf7fd3b

Observation 8193bc31-ecab-4cf5-bfec-97eaad5bff8c · outbound

This paper cites an unresolved cited work.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Unresolved cited work

Reference 45

Resolution
unresolved
raw_fallback, observed 2026-05-17T08:54:20.035204Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:00128d8dfca13833b196dd23944cd13b12a1895bce5d75b356c55c6e1b6e6bbd

Observation c2778d67-d97e-44b3-9fb4-4a3901167c47 · outbound

This paper cites "" 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.

$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

Resolution
verified exact
arxiv_id, observed 2026-05-11T06:05:58.305352Z

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.

source=pdf_text observed=2026-05-10T17:48:17.363568Z digest=sha256:d6a03f058e01308d04b3bd07bfa864577dcca157cd4e7e15ad43b3bc624d54bd

Pith citing papers

No inbound Pith citation observations are available.