Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-07-08T13:52:25.191385Z
Paper Citation Record · LEDGER
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle
As of 18 August 2026, this Paper Citation Record lists 55 of 55 outbound references and 2 inbound Pith citation observations for arXiv:2607.06195.
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-17T06:30:58.91139+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-11T04:23:14.855634Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-05T11:29:37.990526Z
Reference resolution
55 of 55 outbound references displayed
- verified exact22
- verified fuzzy8
- unresolved14
- parse uncertain0
- malformed identifier1
- metadata mismatch10
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation cef70e85-35f5-4b20-9c05-a649a7b12d5d · outbound
This paper cites The Oracle Problem in Software Testing: A Survey.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle The Oracle Problem in Software Testing: A Survey
Reference 1
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-07-08T13:54:58.182442Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation b0ed2aff-b644-4bad-92cc-07616095c7de · outbound
This paper cites arXiv preprint arXiv:2506.18824 , year=.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle arXiv preprint arXiv:2506.18824 , year=
Reference 2
- Resolution
- verified exact
- arxiv_id, observed 2026-07-08T13:54:58.552649Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation b05021fc-17f6-4902-b6c9-adf3e9129edd · outbound
This paper cites 2022.LangChain.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle 2022.LangChain
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-08T13:54:58.969301Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 8ea39997-4b14-4125-a53a-c27e102c775c · outbound
This paper cites Available: https://doi.org/10.1145/3143561.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Available: https://doi.org/10.1145/3143561
Reference 4
- Resolution
- verified exact
- doi, observed 2026-07-08T13:54:58.161752Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation cf81c563-4752-4920-8285-e944106fc4fb · outbound
This paper cites an unresolved cited work.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-07-08T13:54:58.947387Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 18593c55-1f9c-4b1a-8084-9a595795b3db · outbound
This paper cites 2025.Pydantic.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle 2025.Pydantic
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-08T13:54:58.935678Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 80f277f0-b982-4bcf-8dd0-e19d08a0f80a · outbound
This paper cites an unresolved cited work.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-07-08T13:54:58.932370Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 90351dd6-2469-46c6-a605-ca3cd0a286af · outbound
This paper cites Dataflow analysis-inspired deep learning for efficient vulnerability detection.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Dataflow analysis-inspired deep learning for efficient vulnerability detection
Reference 8
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-07-08T13:54:58.171047Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 0c1787b1-df1d-4930-8099-faa04db19c49 · outbound
This paper cites an unresolved cited work.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-07-08T13:54:58.937222Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 98f58b19-5106-4670-920a-a303b5d90f55 · outbound
This paper cites Hayet, A.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Hayet, A
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-08T13:54:58.938819Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation c4cc0ecb-d32d-41f1-9960-d2a85c3042d8 · outbound
This paper cites an unresolved cited work.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-07-08T13:54:58.944245Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation bd38b333-633b-4298-b2ce-1a3f5d15919a · outbound
This paper cites an unresolved cited work.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-07-08T13:54:58.950035Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 09b0204f-83f4-493c-8858-006895156cb5 · outbound
This paper cites MetaGPT: Meta Programming for A Multi-Agent Collaborative Framework.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle MetaGPT: Meta Programming for A Multi-Agent Collaborative Framework
Reference 13
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-08T13:54:58.520512Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 945d9ae8-a917-4fe1-988a-eb178b223639 · outbound
This paper cites Doc2OracLL: Investigating the Impact of Documentation on LLM-based Test Oracle Generation.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Doc2OracLL: Investigating the Impact of Documentation on LLM-based Test Oracle Generation
Reference 14
- Resolution
- verified exact
- local_arxiv, observed 2026-07-08T13:54:58.536856Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation dd478a50-fc02-4a2d-9912-30b14ec237b9 · outbound
This paper cites an unresolved cited work.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-07-08T13:54:58.967657Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 8fa163e9-9715-40ac-a488-a44b164e80bb · outbound
This paper cites Zhang, Zheng Lin, Meng Luo, Qianru Zhang, and See-Kiong Ng.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Zhang, Zheng Lin, Meng Luo, Qianru Zhang, and See-Kiong Ng
Reference 16
- Resolution
- verified exact
- arxiv_id, observed 2026-07-08T13:54:58.542269Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 9a70a0b5-922e-432d-8fd3-aa0ac96d5a51 · outbound
This paper cites Large Language Models Cannot Self-Correct Reasoning Yet.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Large Language Models Cannot Self-Correct Reasoning Yet
Reference 17
- Resolution
- verified exact
- local_arxiv, observed 2026-07-08T13:54:58.522965Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 2993e114-9d7a-4013-9eb8-81c2705c35a8 · outbound
This paper cites an unresolved cited work.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Unresolved cited work
Reference 18
- Resolution
- unresolved
- raw_fallback, observed 2026-07-08T13:54:58.964262Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 03b38747-011c-4cd9-8b49-5853e60638d0 · outbound
This paper cites SWE-bench: Can Language Models Resolve Real-World GitHub Issues?.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle SWE-bench: Can Language Models Resolve Real-World GitHub Issues?
Reference 19
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-08T13:54:58.547492Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 6a403508-52e8-4142-bf1b-3890e7b7872d · outbound
This paper cites Do LLMs generate test oracles that capture the actual or the expected program behaviour?.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Do LLMs generate test oracles that capture the actual or the expected program behaviour?
Reference 20
- Resolution
- verified exact
- local_arxiv, observed 2026-07-08T13:54:58.549868Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation eb7875a3-3f7f-445f-9c44-0d4b1c33e38a · outbound
This paper cites In 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle In 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20
Reference 21
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-07-08T13:54:58.164825Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation c594c12a-6d44-41bc-a4a8-79817185dfa2 · outbound
This paper cites an unresolved cited work.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Unresolved cited work
Reference 22
- Resolution
- unresolved
- raw_fallback, observed 2026-07-08T13:54:58.965938Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 4f6dc396-b244-413a-99be-a32c9da19798 · outbound
This paper cites Targeting patterns of driving characteristics in testing autonomous driving systems.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Targeting patterns of driving characteristics in testing autonomous driving systems
Reference 23
- Resolution
- malformed identifier
- arxiv_id, observed 2026-07-08T13:54:58.517566Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 4b99a11e-9347-4adf-b92e-330edcf1659e · outbound
This paper cites Available: https://arxiv.org/abs/2504.03111.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Available: https://arxiv.org/abs/2504.03111
Reference 24
- Resolution
- verified exact
- arxiv_id, observed 2026-07-08T13:54:58.533688Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 0d193ae2-4a80-4293-a422-982d5ba81aac · outbound
This paper cites 2022.LlamaIndex.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle 2022.LlamaIndex
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-08T13:54:58.962637Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 0fc293d7-78f1-4127-b010-f417df86c19f · outbound
This paper cites LLM-Powered Test Case Generation for Detecting Bugs in Plausible Programs.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle LLM-Powered Test Case Generation for Detecting Bugs in Plausible Programs
Reference 26
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-08T13:54:58.514903Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 5bc59f90-544d-40b0-b1b6-7b6e44a2ea93 · outbound
This paper cites Lost in the Middle: How Language Models Use Long Contexts.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Lost in the Middle: How Language Models Use Long Contexts
Reference 27
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-08T13:54:58.566817Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation cdc695ef-74f7-4a87-907b-afe1a8b5601d · outbound
This paper cites Liu, Kevin Lin, John Hewitt, Ashwin Paranjape, Michele Bevilacqua, Fabio Petroni, and Percy Liang.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Liu, Kevin Lin, John Hewitt, Ashwin Paranjape, Michele Bevilacqua, Fabio Petroni, and Percy Liang
Reference 28
- Resolution
- verified exact
- doi, observed 2026-07-08T13:54:58.167435Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 982a4f41-e5f9-4b20-bb14-6c759265f9d8 · outbound
This paper cites Demystifying rce vulnerabilities in llm-integrated apps.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Demystifying rce vulnerabilities in llm-integrated apps
Reference 29
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-07-08T13:54:58.159409Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation f1e13bd6-31c0-42f2-aefc-8285878c8839 · outbound
This paper cites https://doi.org/10.1145/3510454.3516826.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle https://doi.org/10.1145/3510454.3516826
Reference 30
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-07-08T13:54:58.153069Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 65457010-fe98-4169-afce-7a836ee30446 · outbound
This paper cites Large Language Model Agent: A Survey on Methodology, Applications and Challenges.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Large Language Model Agent: A Survey on Methodology, Applications and Challenges
Reference 31
- Resolution
- verified exact
- local_arxiv, observed 2026-07-08T13:54:58.558500Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation d8c5c09b-80e5-409a-8f16-45b9141ee385 · outbound
This paper cites an unresolved cited work.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Unresolved cited work
Reference 32
- Resolution
- verified exact
- doi, observed 2026-07-08T13:54:58.143956Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 269b892e-edeb-4d5c-ad43-b37386bc6626 · outbound
This paper cites ToolFuzz -- Automated Agent Tool Testing.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle ToolFuzz -- Automated Agent Tool Testing
Reference 33
- Resolution
- verified exact
- local_arxiv, observed 2026-07-08T13:54:58.530879Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation d0f4cc79-382b-400f-9620-afb43d73e99b · outbound
This paper cites Molina, A.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Molina, A
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-08T13:54:58.957279Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation c44d0bfd-ef30-4c1a-972b-1c339ce9e8b5 · outbound
This paper cites an unresolved cited work.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Unresolved cited work
Reference 35
- Resolution
- verified exact
- arxiv_id, observed 2026-07-08T13:54:58.179271Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation e444280c-226f-4263-a687-e1bd04dcb124 · outbound
This paper cites ToolLLM: Facilitating Large Language Models to Master 16000+ Real-world APIs.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle ToolLLM: Facilitating Large Language Models to Master 16000+ Real-world APIs
Reference 36
- Resolution
- verified exact
- local_arxiv, observed 2026-07-08T13:54:58.528372Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 00bcb9a7-ddbf-43c8-9da5-0220b3419213 · outbound
This paper cites Can agents fix agent issues?.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Can agents fix agent issues?
Reference 37
- Resolution
- verified exact
- arxiv_id, observed 2026-07-08T13:54:58.512249Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 1bc1008b-9e3b-41ed-80f2-7607704315a1 · outbound
This paper cites an unresolved cited work.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Unresolved cited work
Reference 38
- Resolution
- unresolved
- raw_fallback, observed 2026-07-08T13:54:58.953716Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation be2df60b-d532-4ab5-8b60-7689ca0a49ba · outbound
This paper cites an unresolved cited work.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Unresolved cited work
Reference 39
- Resolution
- unresolved
- raw_fallback, observed 2026-07-08T13:54:58.955509Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 8ee3a071-941e-400e-aa63-928a194a8834 · outbound
This paper cites an unresolved cited work.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-07-08T13:54:58.960884Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation e5455d96-42a4-4287-80d9-f6bdc6d212d6 · outbound
This paper cites Frontiers Comput.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Frontiers Comput
Reference 41
- Resolution
- verified exact
- doi, observed 2026-07-08T13:54:58.148454Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 8e2f57ea-3a43-42b5-804e-159c80e7f8f1 · outbound
This paper cites Leveraging Large Language Models for Command Injection Vulnerability Analysis in Python: An Empirical Study on Popular Open-Source Projects.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Leveraging Large Language Models for Command Injection Vulnerability Analysis in Python: An Empirical Study on Popular Open-Source Projects
Reference 42
- Resolution
- verified exact
- local_arxiv, observed 2026-07-08T13:54:58.525691Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 4800a803-0197-4299-a09c-146f4425948b · outbound
This paper cites StateFlow: Enhancing LLM Task-Solving through State-Driven Workflows.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle StateFlow: Enhancing LLM Task-Solving through State-Driven Workflows
Reference 43
- Resolution
- verified exact
- local_arxiv, observed 2026-07-08T13:54:58.539587Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation bb6d3818-0412-4378-bd7b-3413a0757de8 · outbound
This paper cites The Rise and Potential of Large Language Model Based Agents: A Survey.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle The Rise and Potential of Large Language Model Based Agents: A Survey
Reference 44
- Resolution
- verified exact
- local_arxiv, observed 2026-07-08T13:54:58.544873Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 87d1a0fa-6587-4f51-96e6-c0707a6f413f · outbound
This paper cites an unresolved cited work.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Unresolved cited work
Reference 45
- Resolution
- unresolved
- raw_fallback, observed 2026-07-08T13:54:58.951924Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 0c45e867-4eb2-4e85-ab45-af169b8da0ac · outbound
This paper cites an unresolved cited work.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Unresolved cited work
Reference 46
- Resolution
- verified exact
- arxiv_id, observed 2026-07-08T13:54:58.507074Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 40765dff-f461-4c7a-a3c5-e33a9ca97626 · outbound
This paper cites Bridging research and practice in simulation-based testing of industrial robot navigation systems.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Bridging research and practice in simulation-based testing of industrial robot navigation systems
Reference 47
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-07-08T13:54:58.175777Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 67b09118-e711-45cc-9fcd-72dd9feedab0 · outbound
This paper cites Advancing code coverage: Incorporating program analysis with large language models,.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Advancing code coverage: Incorporating program analysis with large language models,
Reference 48
- Resolution
- verified exact
- doi, observed 2026-07-08T13:54:58.184998Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation e8d6d82d-8dd2-4907-9886-b4e162b79c20 · outbound
This paper cites Jimenez, Alexander Wettig, Kilian Lieret, Shunyu Yao, Karthik Narasimhan, and Ofir Press.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Jimenez, Alexander Wettig, Kilian Lieret, Shunyu Yao, Karthik Narasimhan, and Ofir Press
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-08T13:54:58.942682Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 7051c15a-200a-44e3-a053-fd0f8027bcf8 · outbound
This paper cites an unresolved cited work.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Unresolved cited work
Reference 50
- Resolution
- unresolved
- raw_fallback, observed 2026-07-08T13:54:58.940601Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 69ff0e1f-7f88-4f86-8a8c-f52c90e97519 · outbound
This paper cites ReAct: Synergizing Reasoning and Acting in Language Models.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle ReAct: Synergizing Reasoning and Acting in Language Models
Reference 51
- Resolution
- verified exact
- local_arxiv, observed 2026-07-08T13:54:58.555516Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 760692f2-2330-4258-a8b5-1ab5ba6b6b70 · outbound
This paper cites No More Manual Tests? Evaluating and Improving ChatGPT for Unit Test Generation.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle No More Manual Tests? Evaluating and Improving ChatGPT for Unit Test Generation
Reference 52
- Resolution
- verified exact
- local_arxiv, observed 2026-07-08T13:54:58.564390Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 7f845888-5643-4f05-9c4b-9cfd3088d3b1 · outbound
This paper cites Zhang, S.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Zhang, S
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-08T13:54:58.945800Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 312d89b4-fa64-40ea-8cad-60573fa79e12 · outbound
This paper cites an unresolved cited work.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Unresolved cited work
Reference 54
- Resolution
- unresolved
- raw_fallback, observed 2026-07-08T13:54:58.934047Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 37f846d1-d93b-4df0-953b-fbb466dca9a2 · outbound
This paper cites Xing, Hao Zhang, Joseph E.
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle Xing, Hao Zhang, Joseph E
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-08T13:54:58.930674Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Pith citing papers
Observation 23e51b15-e0fc-4272-b705-74f27ede4420 · inbound
Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers cites this paper.
Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle
Reference 7
- Resolution
- verified exact
- local_arxiv, observed 2026-08-05T11:29:38.053979Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation bcd52ed7-e250-4091-8e6e-e494cae08318 · inbound
Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers cites this paper.
Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T04:23:14.855634Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.