Pith. sign in

Paper Citation Record · LEDGER

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability

As of 15 August 2026, this Paper Citation Record lists 100 of 236 outbound references and 0 inbound Pith citation observations for arXiv:2608.09538.

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

pith.paper-citation-record.v1
2608.09538 v2

Coverage vector

measured 100 of 236 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T04:18:59.470406Z

measured 100 of 100 standing notices

One-hop event checks from named stored sources.

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

100 of 236 outbound references displayed

  • verified exact0
  • verified fuzzy0
  • unresolved100
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation b94955ae-4493-4382-ac64-37174709fb86 · outbound

This paper cites The jacobian conjecture is false.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability The jacobian conjecture is false

Reference 1

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:56.978735Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:56.978735Z digest=sha256:35a2a3fcd278babb67dbaa3a9377892eef8f6856e1f71bf443d13184c22c13fb

Observation f06996b6-ef97-492b-8907-1b4e6ebe13a5 · outbound

This paper cites GPT-4 Technical Report.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability GPT-4 Technical Report

Reference 2

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:56.999571Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:56.999571Z digest=sha256:6685a527e7dcc6764e80fcdc6e99562f991ccd0ee7b757a42821281b536b4648

Observation 26c5dc6d-44ed-442a-b45c-3ddbd00f05af · outbound

This paper cites GEPA: Reflective Prompt Evolution Can Outperform Reinforcement Learning.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability GEPA: Reflective Prompt Evolution Can Outperform Reinforcement Learning

Reference 3

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.034748Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.034748Z digest=sha256:e19939a3b389193e1d0b91de7a945fa222ddc345f5c99143ed33e87464e7a63f

Observation 0bbad401-b70d-4d75-baee-ab34dc47143c · outbound

This paper cites AI achieves silver-medal standard solving international 178 mathematical olympiad problems.DeepMind blog, 179:45, 2024.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability AI achieves silver-medal standard solving international 178 mathematical olympiad problems.DeepMind blog, 179:45, 2024

Reference 4

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.074820Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.074820Z digest=sha256:6a26df4b0cbe07f52ad7dd56ad05bd980b6e043b4cd15fc180025b74979cc81e

Observation ac1dcd46-0f4c-4902-8ceb-8710d3432abb · outbound

This paper cites MathArena: Evaluating LLMs on Uncontaminated Math Competitions.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability MathArena: Evaluating LLMs on Uncontaminated Math Competitions

Reference 5

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.117621Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.117621Z digest=sha256:5faad640679ca4d801a9c690a451abba606c0c0aebd34a71e48e4a97686b7001

Observation b1769c27-ea9c-41c7-bf8e-a5980ebb3fd3 · outbound

This paper cites A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants

Reference 6

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.136026Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.136026Z digest=sha256:abd79a1f9de908a8d6e5d6c45f63166edd8a95edb8ceeeb47e68ec10873a1c8a

Observation b7779d62-8666-44d3-a215-e1d0077f6efa · outbound

This paper cites Autonomous chemical research with large language models.Nature, 624(7992):570–578, 2023.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Autonomous chemical research with large language models.Nature, 624(7992):570–578, 2023

Reference 7

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.154756Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.154756Z digest=sha256:7722af097fb86d90093a2ea4264dfa0cddd0bb736332d4e9d21bfe0ddbb12782

Observation f20bb9fe-7b02-40d0-9b1c-f2ea2b1184a4 · outbound

This paper cites Gold-medalist performance in solving olympiad geometry with alphageometry2.arXiv preprint arXiv:2502.03544, 2025.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Gold-medalist performance in solving olympiad geometry with alphageometry2.arXiv preprint arXiv:2502.03544, 2025

Reference 8

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.169707Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.169707Z digest=sha256:7849cc241b2a396a3c9e637335a8e38b0ce1af1d62062e318413e78be6aad317

Observation d1050b16-6056-4962-bf0e-57c3808b64e2 · outbound

This paper cites Math- Construct: Challenging LLM reasoning with constructive proofs.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Math- Construct: Challenging LLM reasoning with constructive proofs

Reference 9

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.195791Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.195791Z digest=sha256:b43e186167ef01cd78c15d5a1eb756327b19ec67e64b3829af67026e87003d1d

Observation e35768c0-b923-427b-a71a-7abdc17e5681 · outbound

This paper cites The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs.arXiv preprint arXiv:2506.21621, 2025.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs.arXiv preprint arXiv:2506.21621, 2025

Reference 10

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.212059Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.212059Z digest=sha256:9ec3ec2dbe40c3b972bf47c1651c7770357f89da32740366a27df175690fd0f0

Observation 7ce6ce38-74a7-434e-b093-f68970608455 · outbound

This paper cites Trinh, Garrett Bingham, Dawsen Hwang, Yuri Chervonyi, Junehyuk Jung, Joonkyung Lee, Carlo Pagano, Sang hyun Kim, Federico Pasqualotto, Sergei Gukov, Jonathan N.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Trinh, Garrett Bingham, Dawsen Hwang, Yuri Chervonyi, Junehyuk Jung, Joonkyung Lee, Carlo Pagano, Sang hyun Kim, Federico Pasqualotto, Sergei Gukov, Jonathan N

Reference 11

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.230794Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.230794Z digest=sha256:09e28c5ca3b9b154fed9739c3b3b335b7c947ac4b6ee035b72534b48c76ce767

Observation 1055c986-8457-4456-8c20-bb607e22f7d2 · outbound

This paper cites Towards an AI co-scientist.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Towards an AI co-scientist

Reference 12

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.271390Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.271390Z digest=sha256:d22795424393fc0e63aef99e612f8e9e4aad84b939397e1b4e20856c5637b3de

Observation 6ca69d05-989f-4d4f-814c-82fbba89ce5d · outbound

This paper cites CRISPR-GPT for Agentic Automation of Gene-editing Experiments.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability CRISPR-GPT for Agentic Automation of Gene-editing Experiments

Reference 13

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.304035Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.304035Z digest=sha256:4128f018ce496cbd0366c2145602242b069ed3dbddb174a6541f6bb146cca123

Observation 6dd5b2a9-12bd-4fcd-bf7e-5f71ac73634f · outbound

This paper cites Gemini 2.5 pro capable of winning gold at imo 2025.arXiv preprint arXiv:2507.15855, 2025.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Gemini 2.5 pro capable of winning gold at imo 2025.arXiv preprint arXiv:2507.15855, 2025

Reference 14

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.324750Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.324750Z digest=sha256:1faa92d9f8b370f67bf3769da127629b79c83ca62dbe6d1ab1546d53e1955797

Observation f6e42fe6-1431-4eb3-a6bd-ebfbaeb98bd1 · outbound

This paper cites Chemformer: a pre- trained transformer for computational chemistry.Machine Learning: Science and Technology, 3(1):015022, 2022.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Chemformer: a pre- trained transformer for computational chemistry.Machine Learning: Science and Technology, 3(1):015022, 2022

Reference 15

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.355932Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.355932Z digest=sha256:811af19372c208d449ff4e46035a62cbc23f0e048af2b26a93d3d21b6b270625

Observation 8075be9a-271c-482f-b3b2-59ec278fc697 · outbound

This paper cites Gflownets for ai-driven scientific discovery.Digital Discovery, 2(3):557–577, 2023.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Gflownets for ai-driven scientific discovery.Digital Discovery, 2(3):557–577, 2023

Reference 16

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.366186Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.366186Z digest=sha256:3e8d9fd78ac47de9bd4db41dea93f0ae34430f09622643f8adc4cb02f2b06086

Observation c7bd0ecd-1586-4f64-8f9f-2f08910cc115 · outbound

This paper cites Perfor- mance of chatgpt on usmle: potential for ai-assisted medical education using large language models.PLoS digital health, 2(2):e0000198, 2023.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Perfor- mance of chatgpt on usmle: potential for ai-assisted medical education using large language models.PLoS digital health, 2(2):e0000198, 2023

Reference 17

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.371486Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.371486Z digest=sha256:30317df1fe7e803c8ca704b339238fbd148d55dd3d8447e35df549096b9dad49

Observation 00af1d9d-66e6-4b98-bbec-aac562413248 · outbound

This paper cites Benchmarking automated theorem proving with large language models.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Benchmarking automated theorem proving with large language models

Reference 18

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.383650Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.383650Z digest=sha256:c542ce6446fc4097ad44a6b40c4f88bfaae7d75e5bc1aef707eded7f930f417f

Observation 7ca0ff16-7e30-4562-ada9-0124736fcef1 · outbound

This paper cites Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning

Reference 19

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.391514Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.391514Z digest=sha256:6f8725591d47408c1be5d01e7ed0af72b1ed88a1d02dd6d83f37dc30ab5492a2

Observation 45e50f55-3e41-4643-a318-260d8c62b23b · outbound

This paper cites CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics

Reference 20

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.397021Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.397021Z digest=sha256:7d3945f1a67157691b2b59f8d279aaa581e231d8c4c5e43ebd183abf0e91edab

Observation c09727e4-5cb0-4e9e-b901-e4c578b27683 · outbound

This paper cites CHAMP: A Competition-level Dataset for Fine-Grained Analyses of LLMs' Mathematical Reasoning Capabilities.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability CHAMP: A Competition-level Dataset for Fine-Grained Analyses of LLMs' Mathematical Reasoning Capabilities

Reference 21

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.408778Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.408778Z digest=sha256:5c0b4e516d4dce7c9197a638c3043e8b0cf6db7f0ffa45747a098dcbc3d87f5f

Observation d2458e31-c6e9-4bfd-82c9-34202a63e837 · outbound

This paper cites An openai model has disproved a central conjecture in discrete geometry.https: //openai.com/index/model-disproves-discrete-geometry-conjecture/ , 2026.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability An openai model has disproved a central conjecture in discrete geometry.https: //openai.com/index/model-disproves-discrete-geometry-conjecture/ , 2026

Reference 22

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.422927Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.422927Z digest=sha256:c1bf2400e34f097d70226736673f6f45e07fd7e314b895cbe29e8cb94af599dc

Observation 753eb188-eba2-4c96-ae9e-a4da5939c65a · outbound

This paper cites Ten advances in mathematics and theoretical computer science.https://openai.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Ten advances in mathematics and theoretical computer science.https://openai

Reference 23

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.438379Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.438379Z digest=sha256:4862f5136824821d2cb34e21d0f792793d3e1a09e24f43f5cad51d86ff7a0980

Observation 906a5016-dcb3-4ab2-a865-cca6a307b079 · outbound

This paper cites Astroclip: a cross-modal foundation model for galaxies.Monthly Notices of the Royal Astronomical Society, 531(4):4990–5011, 2024.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Astroclip: a cross-modal foundation model for galaxies.Monthly Notices of the Royal Astronomical Society, 531(4):4990–5011, 2024

Reference 24

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.451256Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.451256Z digest=sha256:2ea6aac90b100e654bd84e5d713b8c0f88fc23ceb40b1903f8d03c971c45b8c3

Observation d49f23b1-a338-411a-b52e-dddff1624e56 · outbound

This paper cites BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs.arXiv preprint arXiv:2510.04721, 2025.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs.arXiv preprint arXiv:2510.04721, 2025

Reference 25

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.460871Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.460871Z digest=sha256:29c13f89e7c8d944e82e0154378c4d3dba299aab91ce7e13f731bf4f9e3becf3

Observation 5bfab0a4-9441-483f-8d3e-91a279737295 · outbound

This paper cites LemmaBench: A Live, Research-Level Benchmark to Evaluate LLM Capabilities in Mathematics.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability LemmaBench: A Live, Research-Level Benchmark to Evaluate LLM Capabilities in Mathematics

Reference 26

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.472922Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.472922Z digest=sha256:7efb04a72697d30c434a5f5313fe0051827be72dfc91e143619a0653a8025e25

Observation d3255b47-1545-4de9-b580-5db061a4be51 · outbound

This paper cites AI and the Everything in the Whole Wide World Benchmark.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability AI and the Everything in the Whole Wide World Benchmark

Reference 27

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.515231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.515231Z digest=sha256:711df2b6b9f57a6a763cf220bac9ac2ae05ca682c7f018ff3fedbad2fe44e631

Observation 8c779940-2510-4f8b-a024-f894dffd80fe · outbound

This paper cites Paperbench: Evaluating ai’s ability to replicate ai research.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Paperbench: Evaluating ai’s ability to replicate ai research

Reference 28

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.554077Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.554077Z digest=sha256:3e0b87b76ad5fa426ada37df1f79d2d4fb272bfab05d91c8cf93d39740bddcb2

Observation 1e3ade92-2517-490a-a4bd-d45a9ee1f9a3 · outbound

This paper cites Solving olympiad geometry without human demonstrations.Nature, 625(7995):476–482, 2024.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Solving olympiad geometry without human demonstrations.Nature, 625(7995):476–482, 2024

Reference 29

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.604776Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.604776Z digest=sha256:c226cf7083b7a1947b95cb169472226a9d58a18428c7e4b790779c753a656abd

Observation 2ecb7297-47a2-4218-a42b-6d3d14191d7b · outbound

This paper cites Gpt-4 can ace the bar, but it only has a decent chance of passing the cfa exams.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Gpt-4 can ace the bar, but it only has a decent chance of passing the cfa exams

Reference 30

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.667691Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.667691Z digest=sha256:80e05cf3ff29d6972fad03b0c178febd2ec92900713e226e8a3439ff964b6434

Observation 97b75111-35f8-4cc4-b6ed-90f997466b04 · outbound

This paper cites The transformative potential of machine learning for experiments in fluid mechanics.Nature Reviews Physics, 5(9):536–545, 2023.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability The transformative potential of machine learning for experiments in fluid mechanics.Nature Reviews Physics, 5(9):536–545, 2023

Reference 31

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.714819Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.714819Z digest=sha256:76add7e2173be6d42edb4f6722c4bd1a35359354258dd42c149b2001628c52df

Observation e5ad31a5-8b6c-498e-b584-ac4461c6ce36 · outbound

This paper cites Horizon- math: Measuring ai progress toward mathematical discovery with automatic verification.arXiv preprint arXiv:2603.15617, 2026.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Horizon- math: Measuring ai progress toward mathematical discovery with automatic verification.arXiv preprint arXiv:2603.15617, 2026

Reference 32

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.755750Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.755750Z digest=sha256:d919a2c26512216311713b71699cb5082c2ca3d95716d7bda2a3fd1e13855a6e

Observation 5b0c2ea3-9b8f-4f68-8ad5-bbd57ba4b109 · outbound

This paper cites Scientific discovery in the age of artificial intelligence.Nature, 620(7972):47–60, 2023.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Scientific discovery in the age of artificial intelligence.Nature, 620(7972):47–60, 2023

Reference 33

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.766316Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.766316Z digest=sha256:22ad34821e74887e072f2af3ed3087ac424636145963f68a56b96dc69a4c6c21

Observation 2267e9fb-c70e-47d4-a2db-14f915279afc · outbound

This paper cites Woodruff, Vincent Cohen-Addad, Lalit Jain, Jieming Mao, Song Zuo, Mohammad- Hossein Bateni, Simina Branzei, Michael P.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Woodruff, Vincent Cohen-Addad, Lalit Jain, Jieming Mao, Song Zuo, Mohammad- Hossein Bateni, Simina Branzei, Michael P

Reference 34

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.772346Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.772346Z digest=sha256:b3cd0de727696fccf5534924b4559bb55f062df59538e0478058b29cabeec6a7

Observation b95755c0-2a97-4656-9f4c-d46f5c2b0c26 · outbound

This paper cites Exploring the role of large language models in the scientific method: from hypothesis to discovery.npj Artificial Intelligence, 1(1):14, 2025.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Exploring the role of large language models in the scientific method: from hypothesis to discovery.npj Artificial Intelligence, 1(1):14, 2025

Reference 35

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.785592Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.785592Z digest=sha256:dbeb16faca49ec98228be56079e9de79da67badf08013b63ab72b69771a4fabc

Observation 7b6f11dc-eea2-42c1-b7d4-b24a573e8539 · outbound

This paper cites AGIEval: A Human-Centric Benchmark for Evaluating Foundation Models.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability AGIEval: A Human-Centric Benchmark for Evaluating Foundation Models

Reference 36

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.820274Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.820274Z digest=sha256:dc0625c0775726ead66a9e746b0de487600e3c18ff7db86c5dc1275ae04d46cd

Observation 376d4235-fc3e-4ac9-a3fa-dc32cfac668f · outbound

This paper cites safety margins.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability safety margins

Reference 37

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.849458Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.849458Z digest=sha256:1e6ba4051def3cc1960454eb864b259a58e27a8da4d8ec7d36c68f1bccc5c6d1

Observation 871dae33-b36a-4710-a518-841231eed076 · outbound

This paper cites outer queries.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability outer queries

Reference 38

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.893633Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.893633Z digest=sha256:f4c9362124ff67e6886cb6aea6f6c8f85a05b852f04a03e9be345071cf3aa732

Observation c5a1901e-e057-4a32-8072-9127f1a23423 · outbound

This paper cites mapping limits matching identical parameters constraints mapping.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability mapping limits matching identical parameters constraints mapping

Reference 39

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.934812Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.934812Z digest=sha256:1f116dbb2d160228b29b1eb9ae0d76db341551a75ed57b937089804d8b1bdcda

Observation 9707abc7-4499-4894-a5cb-49594f8b6625 · outbound

This paper cites - **Boundary and Floor/Ceiling Precision**: Bounds must be exactly supported.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability - **Boundary and Floor/Ceiling Precision**: Bounds must be exactly supported

Reference 40

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.950738Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.950738Z digest=sha256:c28690424b6c543e9208745e2512d1757fbcf6913ef138328886d9075904260f

Observation 9b1f2ebf-a486-4272-a64d-e7c449739134 · outbound

This paper cites an unresolved cited work.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Unresolved cited work

Reference 41

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.968712Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.968712Z digest=sha256:16b94979c754700f62dad7ecb30fdcf7a7d9aa3366aab26d3c80ff2ce57b0174

Observation 3e0d3688-421f-4d07-9468-a7ab30b32421 · outbound

This paper cites This is for your own benefit, to maximize the chances that your proof is correct so 17 that you can pass the benchmark.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability This is for your own benefit, to maximize the chances that your proof is correct so 17 that you can pass the benchmark

Reference 42

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.977693Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.977693Z digest=sha256:1ede22d3344dd311965128281c3b4f6ddf56de7bea4721d11153e31df207fee0

Observation 03b05a7f-fc10-4b70-8b74-f70d0110b175 · outbound

This paper cites 0" if the student introduces arbitrary numerical constraints or.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability 0" if the student introduces arbitrary numerical constraints or

Reference 43

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.986152Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.986152Z digest=sha256:cdca7f4dc1d60b9ed1b2e44362b4536ddfa79bdba3e676d66cd83bde5356bb26

Observation f038e900-2b2c-4e48-a1bc-ce0c0901f267 · outbound

This paper cites 0" if the student generalizes a property of a subset to a larger set (e.g., applying a u-uniformity property defined for.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability 0" if the student generalizes a property of a subset to a larger set (e.g., applying a u-uniformity property defined for

Reference 44

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:57.992819Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:57.992819Z digest=sha256:d284579179ba33f860bd12f6fc4c1b3a3a684b855a249722808a263e1ff53655

Observation 5367dc83-50de-48fd-9944-2ef1db0e0b02 · outbound

This paper cites mapping limits matching identical parameters constraints mapping.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability mapping limits matching identical parameters constraints mapping

Reference 45

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.004294Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.004294Z digest=sha256:2044b4bd833e5079dca7d1d0fb9eea8d0bddbfbc9aa86145b979c5284134846a

Observation de78fa64-f613-4e6c-a477-653af473b75a · outbound

This paper cites 0". - Do not provide any explanation, feedback, or additional text. Your response must be only.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability 0". - Do not provide any explanation, feedback, or additional text. Your response must be only

Reference 46

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.015018Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.015018Z digest=sha256:4932153e92f007ab1117ef2445d2d56f41a9abc0202c17b1b17d48867e4eb50c

Observation 8b843915-28ee-4baa-b058-e15a8a6324ce · outbound

This paper cites Constant Approximation of Fr\'echet Distance in Strongly Subquadratic Time.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Constant Approximation of Fr\'echet Distance in Strongly Subquadratic Time

Reference 47

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.041701Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.041701Z digest=sha256:bcd2fbd7a7aa305f934983abe632559d6c93cb663d689ec69752a9f90eaa4145

Observation 911aff9d-0d22-4178-b645-efdbfd965c11 · outbound

This paper cites Hamiltonicity of random subgraphs of the hypercube.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Hamiltonicity of random subgraphs of the hypercube

Reference 48

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.049906Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.049906Z digest=sha256:abab4c491fe69b466533863a22b5d157ae05a38298ace4c906f980b13ca5c957

Observation 4c1e6ecf-6e1d-4931-aaf1-c6ce2178946e · outbound

This paper cites Learning quantum Hamiltonians at any temperature in polynomial time.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Learning quantum Hamiltonians at any temperature in polynomial time

Reference 49

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.059613Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.059613Z digest=sha256:d1056f63e3f0252b0b9c06846d6020f830b9d9dfadb58d5b28c61b29a449cd0e

Observation 4a7fb64b-4e17-4711-8698-dac8eb762c35 · outbound

This paper cites Nearly Tight Regret Bounds for Profit Maximization in Bilateral Trade.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Nearly Tight Regret Bounds for Profit Maximization in Bilateral Trade

Reference 50

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.078642Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.078642Z digest=sha256:62d8266d44bd855ebe9fec93225f0f75a0ef079d2e53fa01bb1f1b5008f0382c

Observation ab69162d-2de8-4e05-b298-3d055ae60332 · outbound

This paper cites Vertex Fault-Tolerant Emulators.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Vertex Fault-Tolerant Emulators

Reference 51

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.094310Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.094310Z digest=sha256:1b097a11e81b12ef73269f287525022451d577bf3bd0f3f965df0e79f7e57ec4

Observation aeb8b066-d29b-4b41-8d00-6a7144c45203 · outbound

This paper cites Locally Sampleable Uniform Symmetric Distributions.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Locally Sampleable Uniform Symmetric Distributions

Reference 52

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.130639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.130639Z digest=sha256:205e5b433f57997ec2e75f2bb42a21ac21948d61ff876201c6942b20eeb2aa89

Observation 9f0212c9-b787-48c0-af40-6f43b229b349 · outbound

This paper cites A Quantum Speed-Up for Approximating the Top Eigenvectors of a Matrix.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability A Quantum Speed-Up for Approximating the Top Eigenvectors of a Matrix

Reference 53

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.148813Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.148813Z digest=sha256:70ca0e586fdc194f8a45e246552761cabbffe2cfc691ceeec74221e5d8ca68d8

Observation b3e83fb1-f249-43a1-93cb-2fa30b9db12e · outbound

This paper cites Understanding Memory-Regret Trade-Off for Streaming Stochastic Multi-Armed Bandits.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Understanding Memory-Regret Trade-Off for Streaming Stochastic Multi-Armed Bandits

Reference 54

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.167100Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.167100Z digest=sha256:e61ba09bfceeb59a0d7327d17cb6d3b2e4f14f0396b8d16435014ab90c0f54d8

Observation 391ebf6c-440a-4aa8-920f-6d81b90be7f8 · outbound

This paper cites Johan Håstad, Kilian Risse.https://arxiv.org/abs/2209.05839.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Johan Håstad, Kilian Risse.https://arxiv.org/abs/2209.05839

Reference 55

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.192313Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.192313Z digest=sha256:ca98322c9e0363694682e25e30cb89a8c1c8c7694a8227ff54421e1a5a2969ad

Observation 4920dbd5-9f92-459b-b285-4d24ed9ca629 · outbound

This paper cites Subexponential Parameterized Algorithms for Hitting Subgraphs.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Subexponential Parameterized Algorithms for Hitting Subgraphs

Reference 56

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.224899Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.224899Z digest=sha256:1a162080972443fbb1a7c64fa6b07f3c8ed6022394c4d15feedfa8be50585c01

Observation 51a93b1c-bdc3-45a6-a64c-3ba639629897 · outbound

This paper cites An efficient quantum parallel repetition theorem and applications.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability An efficient quantum parallel repetition theorem and applications

Reference 57

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.264937Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.264937Z digest=sha256:362ea13a464af52987361aa06a80755a7a69ad7f049ee77cbbbb4c9ad9d5e1d8

Observation 5352c80f-a59a-4526-8bd1-37e16d35da83 · outbound

This paper cites A Tolerant Independent Set Tester.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability A Tolerant Independent Set Tester

Reference 58

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.286091Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.286091Z digest=sha256:c2a535763107039dc874423fc501f9c524c012cb992cfe4e0cb21c9b8bccc02b

Observation c99cb82c-f5ea-4d03-998e-cfee216209ff · outbound

This paper cites On complete classes of valuated matroids.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability On complete classes of valuated matroids

Reference 59

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.324843Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.324843Z digest=sha256:0c83a80b6a62d5dcc8563052cae85d2617c2732f1beddb32d1c9e88987468373

Observation c3b64d40-cbd8-4ec8-b155-8969fcd15a2f · outbound

This paper cites Fully Dynamic Min-Cut of Superconstant Size in Subpolynomial Time.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Fully Dynamic Min-Cut of Superconstant Size in Subpolynomial Time

Reference 60

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.374831Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.374831Z digest=sha256:136f8b2494530e95b01aafd0672ee074e699446d14df2baff409205b34cebed4

Observation bc6249ef-f211-4fd4-8e6e-7103a93f5c45 · outbound

This paper cites Stochastic scheduling with Bernoulli-type jobs through policy stratification.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Stochastic scheduling with Bernoulli-type jobs through policy stratification

Reference 61

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.385287Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.385287Z digest=sha256:27c565aa76ac108b22fef9c20b00689cd14d4cc027edaac62e550b36ba2ad441

Observation b4492091-b8ba-40fa-8716-84817938b98a · outbound

This paper cites Deterministic Algorithms for Decremental Approximate Shortest Paths: Faster and Simpler.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Deterministic Algorithms for Decremental Approximate Shortest Paths: Faster and Simpler

Reference 62

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.400262Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.400262Z digest=sha256:fda3fbef8c86b337c7dae6288a49ff1a594bfcd3af60b28ba089f1bec66f1229

Observation 980fe6c1-837d-4b80-9db7-53d2003c8b48 · outbound

This paper cites Supercritical Tradeoffs for Monotone Circuits.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Supercritical Tradeoffs for Monotone Circuits

Reference 63

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.406537Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.406537Z digest=sha256:853ab4ae89b9728e5ba118feb633f02e650fd699afa2f9af1fbc53ee42b7aefc

Observation a661726f-81f6-4a38-9f77-ea9d7d64102e · outbound

This paper cites Finding Skewed Subcubes Under a Distribution.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Finding Skewed Subcubes Under a Distribution

Reference 64

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.454397Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.454397Z digest=sha256:67cd3b68a4f647c7963a76fd07e82fc74386202ab5437fb50403d9bc59f10138

Observation 03cabc48-192b-4a0b-be05-90802423cd6c · outbound

This paper cites An Improved Algorithm for The $k$-Dyck Edit Distance Problem.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability An Improved Algorithm for The $k$-Dyck Edit Distance Problem

Reference 65

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.469608Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.469608Z digest=sha256:ec2f4d7ecdf2e41ec9ab39a543e787dbe33e3e8c6911b086df3af7571373e4d7

Observation cdff5fa2-f816-4552-813b-c07e7de2aa95 · outbound

This paper cites Gleb Kalachev, Pavel Panteleev.https://arxiv.org/abs/2501.01411.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Gleb Kalachev, Pavel Panteleev.https://arxiv.org/abs/2501.01411

Reference 66

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.480537Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.480537Z digest=sha256:fdaeb4f90a54da0bad57646aa9c51a990932deccd7e5bd07de2c1c7f982a14ae

Observation 3c7c9297-556c-4cd6-83ed-68359e62534c · outbound

This paper cites Stronger 3-SUM Lower Bounds for Approximate Distance Oracles via Additive Combinatorics.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Stronger 3-SUM Lower Bounds for Approximate Distance Oracles via Additive Combinatorics

Reference 67

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.487709Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.487709Z digest=sha256:0d96cf7749ac9daaf414b9ffdf5f461b4e02f2e9df266182af79a126c4595488

Observation 7bf1d109-a433-4fc9-88ed-fa510cbd1efd · outbound

This paper cites A Fine-grained Classification of Subquadratic Patterns for Subgraph Listing and Friends.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability A Fine-grained Classification of Subquadratic Patterns for Subgraph Listing and Friends

Reference 68

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.496165Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.496165Z digest=sha256:d0754d17ba6a630bc302588c20e438b832f1207a1c1c52cc68809e999d058277

Observation a1d17327-5efb-49be-a9e6-23e8ef4f97db · outbound

This paper cites Certifying almost all quantum states with few single-qubit measurements.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Certifying almost all quantum states with few single-qubit measurements

Reference 69

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.507024Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.507024Z digest=sha256:49e9c4fe99a3d59410a975d3df995fea2c8e14c383f7c20b51833ebc049cf517

Observation b65e4e3a-516e-4f3d-acc5-a0cc75fb5354 · outbound

This paper cites Mikkel Abrahamsen, Joakim Blikstad, André Nusser, Hanwen Zhang.https://arxiv.org/abs/2311.10631.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Mikkel Abrahamsen, Joakim Blikstad, André Nusser, Hanwen Zhang.https://arxiv.org/abs/2311.10631

Reference 70

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.527810Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.527810Z digest=sha256:84bf7326bb802d1ad6eaeb413e7a0dfc9e56b4d15d23f1d14593552d8d64dd3c

Observation 876b8709-48ca-4539-8b57-fd435b924632 · outbound

This paper cites Clique Is Hard on Average for Sherali-Adams with Bounded Coefficients.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Clique Is Hard on Average for Sherali-Adams with Bounded Coefficients

Reference 71

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.535900Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.535900Z digest=sha256:555b74d52d63123b3da0ba92c3da6cde115f86e0c708cafb7978b93856c7eb6d

Observation 12346463-9da8-4de4-a103-0ac0c0dc60d2 · outbound

This paper cites Deterministic factorization of constant-depth algebraic circuits in subexponential time.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Deterministic factorization of constant-depth algebraic circuits in subexponential time

Reference 72

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.584745Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.584745Z digest=sha256:30ec2ed906d286d9e28ff31dbbe87bb7ca9e4ba861b0def53cf15436a40821a4

Observation 695436d2-ef3d-4b82-8ba7-6fac33babc0e · outbound

This paper cites The Smoothed Complexity of Policy Iteration for Markov Decision Processes.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability The Smoothed Complexity of Policy Iteration for Markov Decision Processes

Reference 73

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.604872Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.604872Z digest=sha256:971902d7d63d27dae1b1281bd1508ecd11ab5a3c8d4c8d41405312d19e86e3b3

Observation e47a0104-9624-4326-a01b-cc205163c283 · outbound

This paper cites New Graph Decompositions and Combinatorial Boolean Matrix Multiplication Algorithms.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability New Graph Decompositions and Combinatorial Boolean Matrix Multiplication Algorithms

Reference 74

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.626005Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.626005Z digest=sha256:d7cda89f916ad9d6a5290b2c205900d6c14d688eacaa10f2cf13360721043be7

Observation 1d102be7-80b7-442b-8d48-f5003d322e73 · outbound

This paper cites On generalized corners and matrix multiplication.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability On generalized corners and matrix multiplication

Reference 75

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.665066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.665066Z digest=sha256:6370a91d0adf509ed22f675201e8b7e500d088bf65efe182ec7b14c3a2c9f861

Observation d1b676eb-def7-4abb-8f13-df01c359e2f5 · outbound

This paper cites Expander Decomposition in Dynamic Streams.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Expander Decomposition in Dynamic Streams

Reference 76

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.700542Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.700542Z digest=sha256:dddf845c7bfd4122c4e5b6f5736730363cadada1ecb071302b8d79b788c6e425

Observation 5fbba55e-04db-4550-8f6c-d45174428c7b · outbound

This paper cites Data-Driven Solution Portfolios.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Data-Driven Solution Portfolios

Reference 77

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.732314Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.732314Z digest=sha256:a2b4bd8790ae017a551950619f17e44efd6f6acface774ef3f9fdf9dc86c97f4

Observation eeec2ce8-b876-44af-9e15-c0ed6460eae0 · outbound

This paper cites Quantum majority vote.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Quantum majority vote

Reference 78

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.764780Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.764780Z digest=sha256:a624caf5f54cb88b9bb1f748c3961c4c165e13bf47d270de570cc938c09e2743

Observation 401b1565-327e-48e8-a80a-75d4e6d5d0f2 · outbound

This paper cites A Dense Neighborhood Lemma: Applications of Partial Concept Classes to Domination and Chromatic Number.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability A Dense Neighborhood Lemma: Applications of Partial Concept Classes to Domination and Chromatic Number

Reference 79

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.792129Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.792129Z digest=sha256:2b869cf6e9690fd3e2de526a49188006d7233a159b9928303972bfb297357b61

Observation 5ed681d4-4dbe-4b34-b202-77c2627508de · outbound

This paper cites Differential privacy and Sublinear time are incompatible sometimes.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Differential privacy and Sublinear time are incompatible sometimes

Reference 80

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.814725Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.814725Z digest=sha256:14de21fa968110ada6750c833c54ad73461831e9b2512b5fe1159ce799453c05

Observation 92e91343-6ce0-422f-9dea-bb98fcd58bfe · outbound

This paper cites On the Locality of the Lov\'asz Local Lemma.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability On the Locality of the Lov\'asz Local Lemma

Reference 81

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.859596Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.859596Z digest=sha256:0307266d34b72e076aaad79d7c00bb7dfd998a77dbd50df1b78bb6adabcfd84e

Observation 3df694f7-dda2-418a-9da2-b6bc444d91ea · outbound

This paper cites Locally consistent decomposition of strings with applications to edit distance sketching.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Locally consistent decomposition of strings with applications to edit distance sketching

Reference 82

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.924857Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.924857Z digest=sha256:ff5d3842e9aca061de07f899f1fd4fd63ea0c0ee0f984d3b3a3b088c3ff5d53b

Observation 99222788-f295-400b-a8ae-e66b0d532000 · outbound

This paper cites Sum-of-Squares Lower Bounds for Sparse Independent Set.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Sum-of-Squares Lower Bounds for Sparse Independent Set

Reference 83

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:58.967329Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:58.967329Z digest=sha256:8b08d2885119c1e2a085eabe1bb2953ac06c2dd9b16ca61050732c7bfe581474

Observation 5c09ab76-8f98-4aa0-b577-d8b8cd9768db · outbound

This paper cites Vincent Cohen-Addad, Fabrizio Grandoni, Euiwoong Lee, Chris Schwiegelshohn.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Vincent Cohen-Addad, Fabrizio Grandoni, Euiwoong Lee, Chris Schwiegelshohn

Reference 84

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:59.005761Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:59.005761Z digest=sha256:6768ffc3b2fc522053cdb604e75b39b298f8849b35241ae7add751f0f46f5b58

Observation 09048356-40a4-4495-9e5b-8b37ee82f093 · outbound

This paper cites Faster Deterministic Distributed MIS and Approximate Matching.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Faster Deterministic Distributed MIS and Approximate Matching

Reference 85

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:59.046219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:59.046219Z digest=sha256:168fd4f4967eba6dc405d3eec0c0265429cade67e1323bfca7fb1009040b25ff

Observation 040d3e90-9156-4111-8bc1-9115d6146d6e · outbound

This paper cites Spectral Clustering Oracles in Sublinear Time.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Spectral Clustering Oracles in Sublinear Time

Reference 86

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:59.084742Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:59.084742Z digest=sha256:5c3d332e1755b7a41214ff426a91f5afc6587ca552c12df6cd32fac21f039826

Observation 841a8837-27a8-409e-936d-29517bc07db9 · outbound

This paper cites New Structures and Algorithms for Length-Constrained Expander Decompositions.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability New Structures and Algorithms for Length-Constrained Expander Decompositions

Reference 87

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:59.127969Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:59.127969Z digest=sha256:90619d570fea8f23c0bbdf6c29dada0edf7edc6bb8362ee113e7a2af2d09beb1

Observation dfbf2f7b-300f-4178-b35c-faf2517f2090 · outbound

This paper cites Determinant Maximization via Matroid Intersection Algorithms.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Determinant Maximization via Matroid Intersection Algorithms

Reference 88

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:59.148239Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:59.148239Z digest=sha256:ebedce1b13e013068e568738b7311860714c57fbf630353e8262be72b5441081

Observation 362e9174-7596-4317-a057-ab5247066cce · outbound

This paper cites Active Linear Regression for $\ell_p$ Norms and Beyond.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Active Linear Regression for $\ell_p$ Norms and Beyond

Reference 89

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:59.182750Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:59.182750Z digest=sha256:0c11f7d7a9fe9c6eeb207a30ee451f895d775032fe118a66f2af748b8179b29b

Observation ecca648e-e911-43b5-95b0-d30e69dabbaf · outbound

This paper cites A Gap-ETH-Tight Approximation Scheme for Euclidean TSP.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability A Gap-ETH-Tight Approximation Scheme for Euclidean TSP

Reference 90

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:59.195706Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:59.195706Z digest=sha256:fd0f45a58f484a0f4d7875bf0fcff4e3100709c4d26575550f5527d2f57c1736

Observation 088abe5f-4c26-4dbf-a1ed-6241fd2dcc4c · outbound

This paper cites On Approximability of Steiner Tree in $\ell_p$-metrics.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability On Approximability of Steiner Tree in $\ell_p$-metrics

Reference 91

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:59.223374Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:59.223374Z digest=sha256:7ca778a1ad212e34f65e9500042f44ddaeefa141ffaf3d660ff07ca6c1b57442

Observation ea02fb43-2ac6-44c8-bb89-ca8127999462 · outbound

This paper cites List Decoding Expander-Based Codes up to Capacity in Near-Linear Time.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability List Decoding Expander-Based Codes up to Capacity in Near-Linear Time

Reference 92

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:59.245775Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:59.245775Z digest=sha256:4049434b1727b2c38ef2a1b97d7c98748a8b7b3b304023eaeb5c9f7e279dec82

Observation b8d58773-6306-4cb6-b9e1-de3253070a1b · outbound

This paper cites Lower Bound Techniques in the Comparison-Query Model and Inversion Minimization on Trees.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Lower Bound Techniques in the Comparison-Query Model and Inversion Minimization on Trees

Reference 93

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:59.269501Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:59.269501Z digest=sha256:500ed356f32fdac68d1b964e9f812db143d0195e460373b2b96de6bec3b457d8

Observation 678577c3-5e69-49e5-b8a7-c2a51e11de69 · outbound

This paper cites Hop-Constrained Oblivious Routing.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Hop-Constrained Oblivious Routing

Reference 94

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:59.289637Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:59.289637Z digest=sha256:c292fc6e9efd377c7dbfd63eb4b9725c64173bc4daecae35454578c74b3f42b5

Observation d5a7bed8-ab44-4cb5-98bb-6b7a83249580 · outbound

This paper cites Xiaolin Bu, Biaoshuai Tao.https://arxiv.org/abs/2407.13634.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Xiaolin Bu, Biaoshuai Tao.https://arxiv.org/abs/2407.13634

Reference 95

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:59.308532Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:59.308532Z digest=sha256:f4afdf7ef16aa4a0e206fd00823a9f18edd1c54db089e09061ba8842716c3672

Observation bf6d2ed6-2b53-4bfa-90bf-a1573539320d · outbound

This paper cites Bernhard Haeupler, Yonggang Jiang, Yaowei Long, Thatchaphol Saranurak, Shengzhe Wang.https://arxiv.org/abs/2510.20456.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Bernhard Haeupler, Yonggang Jiang, Yaowei Long, Thatchaphol Saranurak, Shengzhe Wang.https://arxiv.org/abs/2510.20456

Reference 96

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:59.329890Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:59.329890Z digest=sha256:2a6eef51eb7551e9cc69701566ecc1f13f1061ef2d4da5af7750b7894b3b3753

Observation 7424a471-0332-42f5-a642-97f863d92d4a · outbound

This paper cites Amir Abboud, Ron Safier, Nathan Wallheimer.https: //arxiv.org/abs/2511.17224.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Amir Abboud, Ron Safier, Nathan Wallheimer.https: //arxiv.org/abs/2511.17224

Reference 97

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:59.365625Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:59.365625Z digest=sha256:205992b0339dd9a6ab2f91896eff30c5f3daa13809a0bcda83a84ab74942f4cf

Observation 4b437f83-20f0-409d-8f54-7b4cc7a5de1a · outbound

This paper cites Benjamin Aram Berendsohn, László Kozma, Michal Opler.https://arxiv.org/abs/2310.04236.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Benjamin Aram Berendsohn, László Kozma, Michal Opler.https://arxiv.org/abs/2310.04236

Reference 98

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:59.396375Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:59.396375Z digest=sha256:c894aaecca6c462e174b4ac6622d44e942ac0bd3302c3371f8117b0cbad5830f

Observation cb79c8ed-2d52-4181-a662-9f05c9b1aee3 · outbound

This paper cites Approximate counting and sampling via local central limit theorems.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability Approximate counting and sampling via local central limit theorems

Reference 99

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:59.443119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:59.443119Z digest=sha256:da95d51acf4c98b14d4a0de1ae15b16dda212ec1aa76794f2099140bc41b61e4

Observation 24b37aca-217b-4103-97f4-4126256cf570 · outbound

This paper cites What Can Cryptography Do For Decentralized Mechanism Design.

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability What Can Cryptography Do For Decentralized Mechanism Design

Reference 100

Resolution
unresolved
no resolver link, observed 2026-08-14T04:18:59.470406Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:18:59.470406Z digest=sha256:0a3dd2785a0db65b12d33d1a6da383aaf7ca649c8e48464cea15a5edbf4c1cc9

Pith citing papers

No inbound Pith citation observations are available.