Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-04T22:22:14.853355Z
Paper Citation Record · LEDGER
Autonomous Code Evolution Meets NP-Completeness
As of 13 August 2026, this Paper Citation Record lists 51 of 51 outbound references and 12 inbound Pith citation observations for arXiv:2509.07367.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-02T19:18:47.408187Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z
Reference resolution
51 of 51 outbound references displayed
- verified exact0
- verified fuzzy29
- unresolved22
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
0
arxiv_reference, observed 2026-08-05T02:28:24.338817Z
Outbound references
Observation 5864bf7e-04ca-4d39-a5c9-7ad18a1d7e01 · outbound
This paper cites AlphaEvolve: A coding agent for scientific and algorithmic discovery.
Autonomous Code Evolution Meets NP-Completeness AlphaEvolve: A coding agent for scientific and algorithmic discovery
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T22:22:10.396704Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9696ec8a-5c1f-429d-be8e-4d59a78629a4 · outbound
This paper cites In: Proceedings of the 38th Annual Design Automation Conference, pp.
Autonomous Code Evolution Meets NP-Completeness In: Proceedings of the 38th Annual Design Automation Conference, pp
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:19.246658Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 7d7e3ac8-3cf5-4532-a0e9-0f25b85d304c · outbound
This paper cites variable coverage.
Autonomous Code Evolution Meets NP-Completeness variable coverage
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:19.231031Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 9e6aa5c7-b8e2-412d-9d5f-4fd111df64d8 · outbound
This paper cites International Journal on 19 Artificial Intelligence Tools27(01), 1840001 (2018).
Autonomous Code Evolution Meets NP-Completeness International Journal on 19 Artificial Intelligence Tools27(01), 1840001 (2018)
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:19.216917Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 4036fc82-425e-4e71-9461-a95e3011d414 · outbound
This paper cites an unresolved cited work.
Autonomous Code Evolution Meets NP-Completeness Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T22:22:19.204017Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation a2488d35-b437-4582-b93b-f70e16358215 · outbound
This paper cites Sat Competition2020, 50 (2020).
Autonomous Code Evolution Meets NP-Completeness Sat Competition2020, 50 (2020)
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:19.178431Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b7c6989d-23fe-4797-9dc1-956dffd7344c · outbound
This paper cites In: International Conference on Computer Aided Verification, pp.
Autonomous Code Evolution Meets NP-Completeness In: International Conference on Computer Aided Verification, pp
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:19.164961Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 82907e9d-ce18-4872-9d6c-09f8717685f3 · outbound
This paper cites SAT COMPETITION2021, 15 (2021).
Autonomous Code Evolution Meets NP-Completeness SAT COMPETITION2021, 15 (2021)
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:19.150434Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 5d7c85cb-4265-43be-971c-b3359f380cee · outbound
This paper cites SAT COMPETITION2022, 20 (2022).
Autonomous Code Evolution Meets NP-Completeness SAT COMPETITION2022, 20 (2022)
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:19.136725Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 23f4c9cd-a827-44e3-aad7-8629a384e153 · outbound
This paper cites SAT COMPETITION 2025, 13.
Autonomous Code Evolution Meets NP-Completeness SAT COMPETITION 2025, 13
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:19.124056Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation cdfc2e85-5888-4473-bdc9-51880abb1a8b · outbound
This paper cites Proceedings of the Third Annual ACM Symposium on Theory of Computing (1971).
Autonomous Code Evolution Meets NP-Completeness Proceedings of the Third Annual ACM Symposium on Theory of Computing (1971)
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:19.111015Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 11d869c5-1b9b-48f3-9379-a61250f49bf9 · outbound
This paper cites Clay Mathematics Institute2(6), 3 (2000).
Autonomous Code Evolution Meets NP-Completeness Clay Mathematics Institute2(6), 3 (2000)
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:19.098276Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation e25548b3-7579-4ad6-8b3a-f384a99c5cac · outbound
This paper cites Handbook of satisfiability, 131–153 (2009).
Autonomous Code Evolution Meets NP-Completeness Handbook of satisfiability, 131–153 (2009)
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:19.085459Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation d01def07-ac45-4e17-9994-7140ca485a60 · outbound
This paper cites Journal of the ACM (JACM)7(3), 201–215 (1960).
Autonomous Code Evolution Meets NP-Completeness Journal of the ACM (JACM)7(3), 201–215 (1960)
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:19.072410Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 372c42b0-73e0-470a-a4c5-73e381cd1457 · outbound
This paper cites Artificial Intelligence279, 103197 (2020).
Autonomous Code Evolution Meets NP-Completeness Artificial Intelligence279, 103197 (2020)
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:19.059266Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 40662509-2a30-435d-986e-7fae097cbaac · outbound
This paper cites Artificial Intelligence301, 103572 (2021).
Autonomous Code Evolution Meets NP-Completeness Artificial Intelligence301, 103572 (2021)
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:19.045689Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 45713e63-d26c-4b84-b349-f91092aee34f · outbound
This paper cites In: Proceedings of the AAAI Conference on Artificial Intelligence, vol.
Autonomous Code Evolution Meets NP-Completeness In: Proceedings of the AAAI Conference on Artificial Intelligence, vol
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:19.032183Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation fe5a8fb6-f241-440d-b4bc-3e057f38ca4f · outbound
This paper cites an unresolved cited work.
Autonomous Code Evolution Meets NP-Completeness Unresolved cited work
Reference 18
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T22:22:19.018692Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 08db7daf-8653-482b-b0be-475ca398998a · outbound
This paper cites https://satcompetition.github.io/.
Autonomous Code Evolution Meets NP-Completeness https://satcompetition.github.io/
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:19.004390Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 0059eb4a-d00e-4aa6-93af-358cda9228d1 · outbound
This paper cites In: SAT COMPETITION 2022, p.
Autonomous Code Evolution Meets NP-Completeness In: SAT COMPETITION 2022, p
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:18.988557Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 3fd146d7-44cc-4ac8-b566-7e7ac0e4c8f4 · outbound
This paper cites In: 27th International Conference on Principles and Practice of Constraint Programming (2021).
Autonomous Code Evolution Meets NP-Completeness In: 27th International Conference on Principles and Practice of Constraint Programming (2021)
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:18.974909Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 00486e8b-69a3-439c-96c4-6ee5c63c7729 · outbound
This paper cites In: SAT COMPETITION 2023, p.
Autonomous Code Evolution Meets NP-Completeness In: SAT COMPETITION 2023, p
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:18.961330Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation dbc6c74e-9108-4ea6-b1c3-d22eee0b08d6 · outbound
This paper cites In: 31st International Conference on Principles and Practice of Constraint Programming (CP 2025), pp.
Autonomous Code Evolution Meets NP-Completeness In: 31st International Conference on Principles and Practice of Constraint Programming (CP 2025), pp
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:18.942019Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 305e6594-74a6-4517-8c7f-60270ff7360c · outbound
This paper cites In: 2023 60th ACM/IEEE Design Automation Conference (DAC), pp.
Autonomous Code Evolution Meets NP-Completeness In: 2023 60th ACM/IEEE Design Automation Conference (DAC), pp
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:18.675681Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 35bfb96e-06a2-4b47-b897-a3256560e353 · outbound
This paper cites Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities.
Autonomous Code Evolution Meets NP-Completeness Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T22:22:12.928291Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f40c4402-e9e1-49cb-9c8c-075294204d33 · outbound
This paper cites arXiv preprint arXiv:2506.07972 (2025).
Autonomous Code Evolution Meets NP-Completeness arXiv preprint arXiv:2506.07972 (2025)
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T22:22:12.985747Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 805e23a4-45f0-4a60-93fb-a88278d48802 · outbound
This paper cites AI-assisted coding: Experiments with GPT-4.
Autonomous Code Evolution Meets NP-Completeness AI-assisted coding: Experiments with GPT-4
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T22:22:13.140092Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5397bdfa-73a3-48c6-9930-2ed41941fd59 · outbound
This paper cites Claude-3 Model Card1(1), 4 (2024).
Autonomous Code Evolution Meets NP-Completeness Claude-3 Model Card1(1), 4 (2024)
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T22:22:13.232314Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4a1b5972-0631-4094-8154-bee21059b003 · outbound
This paper cites Advances in Neural Information Processing Systems37, 44678–44709 (2024).
Autonomous Code Evolution Meets NP-Completeness Advances in Neural Information Processing Systems37, 44678–44709 (2024)
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:18.294669Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 7db704fa-c070-4824-9953-fd4bfb1f4bdd · outbound
This paper cites LLM-SR: Scientific Equation Discovery via Programming with Large Language Models.
Autonomous Code Evolution Meets NP-Completeness LLM-SR: Scientific Equation Discovery via Programming with Large Language Models
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T22:22:13.371868Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bc6eb734-836b-4062-9b6b-82fcad21a2ff · outbound
This paper cites Nature625(7995), 468–475 (2024) 21.
Autonomous Code Evolution Meets NP-Completeness Nature625(7995), 468–475 (2024) 21
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:17.880096Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 82e8132f-451a-48f9-924b-ff658e0f3c12 · outbound
This paper cites Discovering heuristics in a complex SAT solver with large language models.
Autonomous Code Evolution Meets NP-Completeness Discovering heuristics in a complex SAT solver with large language models
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T22:22:13.491459Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f40ebd6d-44ee-48df-b293-1cf5c25578f0 · outbound
This paper cites 🔍 Checking rule compliance for $SOLVER.
Autonomous Code Evolution Meets NP-Completeness 🔍 Checking rule compliance for $SOLVER
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:17.711275Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 021253d0-50ea-4020-8489-d5dc5b1e007c · outbound
This paper cites What should I check before starting SATLUTION_28?.
Autonomous Code Evolution Meets NP-Completeness What should I check before starting SATLUTION_28?
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:17.551970Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation d2c6a04c-ce4e-40a1-91bc-25dfefdda900 · outbound
This paper cites Can I use malloc() in my new solver?.
Autonomous Code Evolution Meets NP-Completeness Can I use malloc() in my new solver?
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:17.391732Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation f221405c-c138-4b56-984c-248abff2bfa4 · outbound
This paper cites What documentation do I need for SATLUTION_28?.
Autonomous Code Evolution Meets NP-Completeness What documentation do I need for SATLUTION_28?
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:17.264157Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation bdd6f5db-2440-4064-b04a-486416bf6464 · outbound
This paper cites an unresolved cited work.
Autonomous Code Evolution Meets NP-Completeness Unresolved cited work
Reference 38
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T22:22:17.147247Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 6f0f81f9-a046-463f-91d5-b9c0db679be9 · outbound
This paper cites an unresolved cited work.
Autonomous Code Evolution Meets NP-Completeness Unresolved cited work
Reference 39
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T22:22:16.905130Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 27c464a5-6ec2-4ff3-a5af-fae9ee543559 · outbound
This paper cites an unresolved cited work.
Autonomous Code Evolution Meets NP-Completeness Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T22:22:16.798958Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 8578457c-4dbf-4926-ad71-7a0b20fcfa7b · outbound
This paper cites an unresolved cited work.
Autonomous Code Evolution Meets NP-Completeness Unresolved cited work
Reference 41
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T22:22:16.611761Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation d481e0c2-4ccb-4c42-b8c2-c3b4ac327045 · outbound
This paper cites cursor/log/cycle_${CYCLE}_rule_analysis.md.
Autonomous Code Evolution Meets NP-Completeness cursor/log/cycle_${CYCLE}_rule_analysis.md
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:16.480739Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b45bb3a6-9b7e-480e-8bd6-b63bbfc79ce5 · outbound
This paper cites an unresolved cited work.
Autonomous Code Evolution Meets NP-Completeness Unresolved cited work
Reference 43
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T22:22:16.325768Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 90fdb475-515a-4b1f-81dd-bdc7d77cccc2 · outbound
This paper cites an unresolved cited work.
Autonomous Code Evolution Meets NP-Completeness Unresolved cited work
Reference 44
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T22:22:16.216300Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation f7b23a50-6d02-405b-89d2-18578c66279d · outbound
This paper cites an unresolved cited work.
Autonomous Code Evolution Meets NP-Completeness Unresolved cited work
Reference 45
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T22:22:16.095833Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 82e991cd-60e4-4c41-b0c6-f6bd803b9b82 · outbound
This paper cites an unresolved cited work.
Autonomous Code Evolution Meets NP-Completeness Unresolved cited work
Reference 46
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T22:22:15.966380Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation f14f1482-271d-4383-bcd7-2836a0026b73 · outbound
This paper cites $CURRENT_VERSION.
Autonomous Code Evolution Meets NP-Completeness $CURRENT_VERSION
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T22:22:15.812541Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 2d521135-be26-42ce-8c1f-5db3a4b76bd3 · outbound
This paper cites an unresolved cited work.
Autonomous Code Evolution Meets NP-Completeness Unresolved cited work
Reference 48
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T22:22:15.616723Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b6da47c7-920f-477a-b395-1a25bf637340 · outbound
This paper cites an unresolved cited work.
Autonomous Code Evolution Meets NP-Completeness Unresolved cited work
Reference 49
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T22:22:15.427655Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 828e4753-aa2e-4d6d-a562-efa35be0b157 · outbound
This paper cites an unresolved cited work.
Autonomous Code Evolution Meets NP-Completeness Unresolved cited work
Reference 50
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T22:22:15.276045Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation c16dca6e-64d3-4175-af9c-c8fabcbf4685 · outbound
This paper cites an unresolved cited work.
Autonomous Code Evolution Meets NP-Completeness Unresolved cited work
Reference 51
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T22:22:15.094265Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 42412fc2-82cd-45cc-8674-fe382b5a7e1a · outbound
This paper cites an unresolved cited work.
Autonomous Code Evolution Meets NP-Completeness Unresolved cited work
Reference 2013
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T22:22:19.190921Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Pith citing papers
Observation ff4d9a4a-075c-44a4-a0af-acfa733b20a5 · inbound
From Heuristic Selection to Automated Algorithm Design: LLMs Benefit from Strong Priors cites this paper.
From Heuristic Selection to Automated Algorithm Design: LLMs Benefit from Strong Priors Autonomous Code Evolution Meets NP-Completeness
Reference 2021
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T19:18:47.408187Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5349dd48-f2dd-4f12-a907-ba284404c7f2 · inbound
AIRA_2: Overcoming Bottlenecks in AI Research Agents cites this paper.
AIRA_2: Overcoming Bottlenecks in AI Research Agents Autonomous Code Evolution Meets NP-Completeness
Reference 22
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-14T23:08:14.554308Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 7b07f1a5-39e7-4145-90bb-118d7cea5364 · inbound
IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking cites this paper.
IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking Autonomous Code Evolution Meets NP-Completeness
Reference 20
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-16T13:27:55.899728Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 3fb179a1-b582-4577-86a9-3c6d61ca5070 · inbound
TOPCELL: Topology Optimization of Standard Cell via LLMs cites this paper.
TOPCELL: Topology Optimization of Standard Cell via LLMs Autonomous Code Evolution Meets NP-Completeness
Reference 41
- Resolution
- verified exact
- arxiv_id, observed 2026-05-10T14:15:29.334280Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 924b1f56-940e-47b5-a221-95ea23caf0fd · inbound
Autonomous Evolution of EDA Tools: Multi-Agent Self-Evolved ABC cites this paper.
Autonomous Evolution of EDA Tools: Multi-Agent Self-Evolved ABC Autonomous Code Evolution Meets NP-Completeness
Reference 29
- Resolution
- verified exact
- arxiv_id, observed 2026-05-10T10:09:07.552444Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 1f594f88-0ade-426b-acf7-0814bffff9af · inbound
GR-Evolve: Design-Adaptive Global Routing via LLM-Driven Algorithm Evolution cites this paper.
GR-Evolve: Design-Adaptive Global Routing via LLM-Driven Algorithm Evolution Autonomous Code Evolution Meets NP-Completeness
Reference 8
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-11T20:16:10.625650Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 7b1ebe62-0d7f-44eb-bc4f-d8391e7d5ec6 · inbound
An Information-Theoretic Criterion for Efficient Data Synthesis cites this paper.
An Information-Theoretic Criterion for Efficient Data Synthesis Autonomous Code Evolution Meets NP-Completeness
Reference 39
- Resolution
- verified exact
- arxiv_id, observed 2026-05-20T22:19:07.377637Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation bda977dc-bc74-4148-903b-d9967d7f39ce · inbound
Learning to Solve and Optimize by Evolving Code cites this paper.
Learning to Solve and Optimize by Evolving Code Autonomous Code Evolution Meets NP-Completeness
Reference 44
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-06-29T00:02:50.143897Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation c8dd16f7-b1e3-49a0-a390-83f0dcdb0b36 · inbound
Scientific discovery as meta-optimization: a combinatorial optimization case study cites this paper.
Scientific discovery as meta-optimization: a combinatorial optimization case study Autonomous Code Evolution Meets NP-Completeness
Reference 9
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-07-04T13:29:51.458321Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 4d3cc759-e1e1-46c9-a0a2-5f7ff67f2aeb · inbound
Agentic Hardware Design as Repository-Level Code Evolution cites this paper.
Agentic Hardware Design as Repository-Level Code Evolution Autonomous Code Evolution Meets NP-Completeness
Reference 2
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-07-01T18:45:58.322066Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 376ac4d1-cef5-4954-b9a1-4e2d365b9684 · inbound
From Tool Invocation to Source-Mechanism Exploration: Protected White-Box DSE for Open-Source EDA cites this paper.
From Tool Invocation to Source-Mechanism Exploration: Protected White-Box DSE for Open-Source EDA Autonomous Code Evolution Meets NP-Completeness
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T07:01:03.015249Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dd661f6c-0812-4ba9-8520-b3308593f0c5 · inbound
VPR-Evolve: Multi-Agent-Driven Algorithm Evolution for FPGA Place and Route cites this paper.
VPR-Evolve: Multi-Agent-Driven Algorithm Evolution for FPGA Place and Route Autonomous Code Evolution Meets NP-Completeness
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T04:05:20.062378Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.