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-14T06:32:32.682623+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:3c83459dd106f2e4fbd057ccd563ced391cc19d0f5baf39a58e184fea6b57144

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:82670554bf8762b704dbcb2b7dbbf39486132d4411b20f6de9eca0fe9c4bad74

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:5c74f7ae9e9b88021d34e71ccff0993406873712d359cec8d21fa556a917e723

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:2eeec145269a012eaafeac75197c4404d2399841d3b421b1077ba9806948ae2f

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:0bb0b9f7ce7ed21a93498096eeedd2c63a0728e8c742b38c9737c7b9e2106918

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:fb035830e763ea10b65ef3a7e7fab8b19adb3437834cdb7e5a9d4369f9c0e6db

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:17fa92302bf61e7789b929cba8e4899deaa40cae8e1ad50f616e2cd0882989ea

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:56658f6dca73d19f7ae003ed34508202782b4b09805e1f87de63e0155af6bab1

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:329499e1be302fe4211948a8564524525cb995cb2eb36a9441ba12d1f5a76f95

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:e6a72b3a0e3d56468e420d359599b549f784a000b45c613c34f1916ced7c238a

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:919a5a74b40cc5c0dac492a35b12e4336851406bc11ea9a8b2364ca6a33b6247

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:2d76e75226edf03124529f724c0cabe829f6444e2a349cd0d58bfa4a6d7dc605

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:6a1686e94c5a5daac1498fa3a605f26439ed1b93e5643c1be69a69fb75a5348a

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:6ed69ff8d84dfee8b96cd4c6bec26936f70bb5a189d26e4514021c725e2fe1fe

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:b3fc54beab4a2c9902ea37250128ce2a80d9d5b54348322d3eea84e29b99de61

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:5984f3ca51d85482436ff667587681a346c90eb1fc753050bf009e1de178d46b

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:78d06fd8f948b55d9337de9ecb0c00c3f2680117f2a1dbd49ee36732d3ed6b02

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:f69dac2c96b61e36a5fda063c246741e6956f66f40068f26c1e0761a9e647c68

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:78d0f7502a273f61e5a15233b2615cb6169b17e401d083a6ee32870f600b6d47

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:edac3192227f3949f80b59b58ec25bf99de81d9a48aa2f60b5891c37c2c7725d

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:470cead4df51bfae3614902f8df682233be01a21a75a9f0f97c3e657d2f65846

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:8bec3e0ae3f5a375021066233bcd36a88b2cbe606545d6e45fa4307e85bd861f

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:285955629dbc44f53aee9f6e3cfa7ccf2e4f0ff538fffd294daaab320b82461c

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:5f957267be4d2daf374c7eab245e1adf1782d3c7f32e9ec284c0b48004e5c43b

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:d07073a07c605dd7b3bcc654cde9fb0ad8eba1bd1cdf54cc04dc6b8b5833b3d2

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:18e51cace9a4db9251e8d2b09ec3a56ee6cccb13217d99a3ee513d89f4a1f274

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:ec8b005bc797783f7657638027cc1071769cb7e3451c3ef15b1fb7abf94bcc07

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:82b58b1d94f0146dc585b37f539f66b0bbd2e0d16fc291fa4bbbb011dc950d65

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:d21095fbdc5b5bbd0c153ca8be52197cf7a0b3ffddaaa01f0a90cc44974f1e34

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:f331706739212bcd2842f4fecb1d17930ab1b6852a2d324637fbfaf20c2da705

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:ca64a1fe7f2d79b92fdf4913acf602aba8e3548181cbaf50a83142a06ae08515

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:06656363e1d08984f527e96fcef7fe03e4674241ea98a253e9e427e94acd480b

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:a3d04deae88b3ea528508c3d1efa410b92d5bd9039eb2bfb7fe6587bfef1fa0b

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:799049c1444372d634adf7525dbc316bc246bea2b625a0c840221b164237748a

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:31f70c47f7286a2237541926cb261771ec81f57b7481887226a8c61f6eec10b6

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:d8d926148df00a54c84144a69d7a0b923a15d5508523a9f9c5c3d592c3fae99a

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:1d22db57e144125c60d3ce7742a1a4268ffeeb25f6f975466db876d04e73d018

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:72e3b8b40bf3476046195137a56c4aa728e7295adac9a238ce4c27ceeeec7ee1

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:dba98479fb32123e9e41a74b3828ec87c0db6eb47f79fd0d609f3e56a0baa95b

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:7aaf6cf7bd0384e0f9199850b87ea200658eebe9bf06fb7372678e8ebf578aaa

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:d6f84f47b38595b191ee4df724a9c64cb04bf12c4051c57c05f423f1d3895cb8

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:711cb9f83953a2347fb1703c06a2286c7b1da7b7b0ddbf891a822e6c0b9f928c

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:08d565b83286d78f26fdc558a4ea49f98a83f7088614c654dc526fb93a00018f

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:782f6c3a4824f574cbf00db20f76112bc7d398c731c7edc8a08de23f55992896

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:ca152bfa9db2ec34baf6edb446f01bc1c9263c714ac7c65a1cb1a7642d886f25

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:88ca75dd26fdeebb799fde261a632872d5cdec21a7e55875a9210a37944d428e

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:98de05753c63a09fc3ad134f2d5852ad7f8d8a64874b1cd84d29a5c293fce9f5

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:b8fb28e9d85e4b230b754e689a8fb0db3886f6184e4e201fa568d5e5f56b4afc

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:8da97cfeb06069839c1086cae039ce626d2009cf3a388269fd1464b517b94b5e

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:1ee0faed97d18c7da7cedaeba1ceff02b5f0201993eab459893574b9a476e88e

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:923a2a44af58f0f129617bca3dda88ca6e1c47126f87dcabce723a41bdeca3d8

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:008388fb2108e11c62ca6e233ef20cea3916af8715d43864d92525eb1d761193

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:b66de105cb418aa81c64c9313efcca2091db8bc1822c71f16d747d65575fde61

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:c413d054fe07aa8a41cde2cc4f0969eec44cd249fbe6812da88df91468f7cd6e

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:9a689d348a08926c7235371675cba43fb7debbe582eab2b25db9cde786702c1c

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:91f5ac4743419d093c43e082ce567cdace2e9dfba257eb74a941d39ed800bfb8

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:0368a657962a11ba858084bb207182bae01ffe832db320ca21af4c26b761b9ff

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:fd8bc4e0c41e3713053e6b0670ca56f97d11b2204b79404f05ed7cc86a272ecd

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:5cb6d5a36230dd7ce7ae7f1050b4de77343948acf7ce621250d9fe6f941ee712

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:c6ea5b9565c2c9562ea3d2bbb9f76f2d82b9c148f1828a9ab75fd895c55c76cb

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:c43b7506f1030eb9573701e45c8483c794081a994b858dbc9a3a09577f61831c

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:107192f5e9ef6612e54ed3a5b99f55e38a1a502be87411a808c6c798be9866ab

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:bcaa237a8ef7487a2eeb3d7a4710a5f42c5dbf34358b49c26ca94200355cb2ee

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:ba1b3d5d8db3436a1ca1673dde2a1b0e170e02f52b69b9e94678ff7b92508522

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:260b1163271f8705a9ef49f49622f124ed59ba30f48a7e01d2b16ea8a0f7852d

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:d294f3aff343f438a57fee061dd8547547485270019ce3ae3d5966a5825504ba

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:91ebf9628dee9f1bb9e319fccaae761a051fe0d7b54c381c99e382143a6738f1

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:dc00c4059d73444486a1304e7f4338760ff29b6276dbe63cc8ed0e107658b67e

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:87016ca7222b79737ca0866d440b83ed51eeb63ab0c3c5f2ef7b359a7cf6951e

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:2bfc6339767889e010ed87f4ea68791692a669208e42d15fae9a18c7da55ddad

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:1137b911a6dd665dfc10d2397f6562c103fa2414118e35b1ab049224349b50fe

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:67c68fd4039e27d7df2f29ec69e830cbfcb9c7d3216d7259a26526d3fda4f797

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:677f0603c3cb6e7873514cb32cff6c07aa5c433649b161dcbb18df46d7b02b6c

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:aa75ad79773f3fc5881d524ae92581602bacf89ffa58f54946bd26d148d08446

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:c59feede962bac9b045fc53ad3f07f99522eae7ce3b7ab38d001cc10e82365f3

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:63a32ad404b8cd5d32919223ca8b19d7704f7cccb6ec3aaf5242ed82d009b798

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:21d904abe31290f7d48ec8fcfa88b9e1b704bc298a2f703e514d8141c43d312b

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:636a797754be158eae3c58d20daa8b87f32d9dcadb53f8b3a11610e590051399

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:4d824b8b7a2f4931e4002603386b74745237f627ec3ad5fb0fcdefccd51ce806

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:c9ae3695dd847ff095009cffb610fc629058e31e392ca603d5e44c0226e44749

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:ad8ae05411b89fcbc9cffd5bfeab2e7ac2f682660f4fa5fde4fd9dcfa3ca5aad

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:a5cce2b919fb249234cbf8a5cc9154ec8d346870781415f81ce834320dec669a

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:f68208a21e1ab24a88f27e8a49d6444aabbc6938bfd635810090b63b49aaa7a6

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:e1dba3c6d496b9488afe1804a1b7bd139a25f78ee45682cda2a6e36ea54f2869

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:b3fa74ad8e125df8248b91641078c3b39ae27c67e0f214e296ea0f1aa778f8e4

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:7d64a6ea413f0e65775ff870be75f8734c527924b7b60f46e6af43fc88a0fa4d

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:b8d69765adf33b00f154dad68e101c37af6edfd5c7792d750b86ec63a0714eed

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:4e4c7b1e8b014230373835c7c5fbe2da4bf51b9c41ddb7ea600e41e7eda95b41

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:940c7322433b08fbe537e0a53130ca4a2f0ec410e409c304f77a0e0560db439e

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:eb046f40a1f125219881061baf0928aa6a4a51c287f32a2ee899350934769b25

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:e827c6150dd9cdf0bf13f2e7ccacd53ef0444d8d35cc2477978dee0f9acf92bc

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:4cc9e76fc57e883ab0f6ea26c2b5a7301e261467802493ded912087697d1e3fa

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:cabf4b70ff169ae07781f786fd5efc9f4f8fdfe40878fcc28622ca662b10c827

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:cdbb2231e73322bdd513b208fe87cb93255400619e6d8218579af566e978ab5d

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:f266f6f8caeee7f6e9c43c68d27b4ea87d008997335b3a83f0fcb552caf63aeb

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:bd3422a8a64d5040316aed10469c98c2070873938a0cb05c4ecc5ebab83353a7

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:c91ee28e991cb4bb73951a808c27fe133d5106edb65b55f6949ab9cd8139090e

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:1fed629de86ee703690c8e1554667e12e7ba5b6aaeaae55e421c29eea18cd8ea

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:363a3db0d0df73a4530d5871524b7f35d2b5e1a436cd0e8897b9ebbc680bd9b9

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:a44335f0e458192da84fa60a7c238548998e280038666a78f5fdf318c9b95817

Pith citing papers

No inbound Pith citation observations are available.