Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-09T14:35:14.357256Z
Paper Citation Record · LEDGER
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation
As of 2 August 2026, this Paper Citation Record lists 64 of 64 outbound references and 1 inbound Pith citation observation for arXiv:2605.01394.
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-01T06:32:01.292127+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-07-30T22:39:33.974358Z
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
64 of 64 outbound references displayed
- verified exact10
- verified fuzzy50
- unresolved2
- parse uncertain0
- malformed identifier0
- metadata mismatch2
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation fa22532e-ecbb-432c-a969-5a3b7ee88404 · outbound
This paper cites Journey to a rte-free x.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Journey to a rte-free x
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.287228Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 0504a70f-b8ee-4399-9647-acf34fd0d819 · outbound
This paper cites Deductive verifica- tion of unmodified linux kernel library functions.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Deductive verifica- tion of unmodified linux kernel library functions
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.290894Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation d431db63-0aae-4deb-aba4-ad252798d203 · outbound
This paper cites An experimental Study using ACSL and Frama-C to formulate and verify Low-Level Requirements from a DO-178C compliant Avionics Project.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation An experimental Study using ACSL and Frama-C to formulate and verify Low-Level Requirements from a DO-178C compliant Avionics Project
Reference 3
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T16:51:09.557718Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 056dca93-ae9a-44b0-a767-d46edda129b7 · outbound
This paper cites A case study on formal verification of the anaxagoros hypervisor paging system with frama-c.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation A case study on formal verification of the anaxagoros hypervisor paging system with frama-c
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.333709Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 30723368-6069-4e50-a608-0af338c12945 · outbound
This paper cites A case study on verifica- tion of a cloud hypervisor by proof and structural testing.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation A case study on verifica- tion of a cloud hypervisor by proof and structural testing
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.345184Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation ed0fdf2f-bd0f-4e2d-89c0-c34add514798 · outbound
This paper cites Deductive software verification: from pen-and-paper proofs to industrial tools.Computing and Software Science: State of the Art and Perspectives, pages 345–373.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Deductive software verification: from pen-and-paper proofs to industrial tools.Computing and Software Science: State of the Art and Perspectives, pages 345–373
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.272923Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation ecfe942d-b275-40c3-85ce-21a75c7720e5 · outbound
This paper cites Learn- ing loop invariants for program verification.Advances in Neural Information Processing Systems, 31.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Learn- ing loop invariants for program verification.Advances in Neural Information Processing Systems, 31
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.269270Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 1f6f6af5-881e-4c3d-929a-75f9f371ca63 · outbound
This paper cites Enchanting program specification synthesis by large language models using static analysis and program verification.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Enchanting program specification synthesis by large language models using static analysis and program verification
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.265396Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 3e6a8669-2df3-411f-b23e-cca9bf9f7ef7 · outbound
This paper cites Using an llm to help with code understanding.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Using an llm to help with code understanding
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.276854Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 641acdf6-b694-4609-ba7f-905441f91558 · outbound
This paper cites An empirical study of knowledge distillation for code understanding tasks.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation An empirical study of knowledge distillation for code understanding tasks
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.283832Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation ffbedb58-d67b-4189-b847-baa4bc1a038a · outbound
This paper cites What you need is what you get: Theory of mind for an llm-based code understanding assistant.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation What you need is what you get: Theory of mind for an llm-based code understanding assistant
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.261571Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 3f93fae3-8a8e-40f6-b815-16f4b4a5b1b6 · outbound
This paper cites Code- Scope: An execution-based multilingual multitask multidimensional benchmark for evaluating LLMs on code understanding and generation.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Code- Scope: An execution-based multilingual multitask multidimensional benchmark for evaluating LLMs on code understanding and generation
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.402466Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 1e7c1d96-3215-401a-a039-054fb64d7b27 · outbound
This paper cites What to retrieve for effective retrieval- augmented code generation? an empirical study and beyond.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation What to retrieve for effective retrieval- augmented code generation? an empirical study and beyond
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.405904Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 016d8262-3237-4e75-b0ef-7da4c5e7d4bf · outbound
This paper cites A survey on llm-based code generation for low-resource and domain-specific programming languages.ACM Trans.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation A survey on llm-based code generation for low-resource and domain-specific programming languages.ACM Trans
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.409565Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 97312a26-af95-481c-bb0b-d7e9414b65f8 · outbound
This paper cites an unresolved cited work.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-05-26T01:56:30.416202Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 9b1a8a26-550f-4e4c-a56c-8c60292a727d · outbound
This paper cites Program Synthesis with Large Language Models.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Program Synthesis with Large Language Models
Reference 16
- Resolution
- verified exact
- local_arxiv, observed 2026-05-11T16:51:09.508354Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation ebf139d8-6dc8-41d7-b750-2eeb6dab2701 · outbound
This paper cites IEEE Press.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation IEEE Press
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.412735Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 402542b4-14d3-47dd-b496-9f1919983505 · outbound
This paper cites Baldur: whole-proof generation and repair with large language models.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Baldur: whole-proof generation and repair with large language models
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.423700Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 99978903-b59e-428e-9eb1-b088ce2b1fe5 · outbound
This paper cites an unresolved cited work.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-05-26T01:56:30.384331Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 733e34ef-b374-434c-a283-951ffb4ec6ca · outbound
This paper cites Can large language models reason about program invariants? InInternational Confer- ence on Machine Learning, pages 27496–27520.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Can large language models reason about program invariants? InInternational Confer- ence on Machine Learning, pages 27496–27520
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.387892Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation a63c9d0b-836b-48c7-b4c6-3b901d32ebec · outbound
This paper cites Reliable generation of formal specifications using large language models.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Reliable generation of formal specifications using large language models
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.395053Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 76baa175-1c68-4611-aed5-2b056f264ed7 · outbound
This paper cites LEGO-Prover: Neural Theorem Proving with Growing Libraries.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation LEGO-Prover: Neural Theorem Proving with Growing Libraries
Reference 22
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T16:51:09.534736Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation b4848d89-8ace-4da5-91fc-cc96c047adce · outbound
This paper cites Learning to prove theorems via interacting with proof assistants.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Learning to prove theorems via interacting with proof assistants
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.354098Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 301fc131-49dc-45f4-b100-de631410d48d · outbound
This paper cites Cobblestone: A divide-and-conquer approach for automating formal verification.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Cobblestone: A divide-and-conquer approach for automating formal verification
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.377307Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation be71a07d-4eb2-4b52-aa5d-54a6802031f9 · outbound
This paper cites The lean 4 theorem prover and programming language.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation The lean 4 theorem prover and programming language
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.420421Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 2f47d94b-c154-4f56-bf6d-cfc86f376798 · outbound
This paper cites LeanDojo: Theorem Proving with Retrieval-Augmented Language Models.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Reference 26
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-11T16:51:09.539049Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 402234c2-f1ad-4ed4-81a6-28b560b4cfe3 · outbound
This paper cites Lean workbook: A large-scale lean problem set formalized from natural language math problems.Advances in Neural Information Processing Systems, 37:105848– 105863.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Lean workbook: A large-scale lean problem set formalized from natural language math problems.Advances in Neural Information Processing Systems, 37:105848– 105863
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.257266Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 15581d90-a049-42c7-b7b7-3d2e896b53c5 · outbound
This paper cites Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
Reference 28
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T16:51:09.519810Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 9132ddad-3947-401b-a1d3-00724ababec0 · outbound
This paper cites Leandojo-v2: A comprehensive library for ai-assisted theorem proving in lean.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Leandojo-v2: A comprehensive library for ai-assisted theorem proving in lean
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.280043Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 0f87add4-fbc3-4cd2-b607-68d76104438f · outbound
This paper cites TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts
Reference 30
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-11T16:51:09.530910Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation ebf639d4-e958-43c0-bef9-23c40c4707e1 · outbound
This paper cites Formalizing the proof of pfr in lean4 using blueprint: a short tour.Blog post, November.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Formalizing the proof of pfr in lean4 using blueprint: a short tour.Blog post, November
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.298177Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 451a192d-ae48-4ae1-8e14-ee29e9a2ff6e · outbound
This paper cites Laurel: Generating dafny assertions using large language models.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Laurel: Generating dafny assertions using large language models
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.301796Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 3e2aab7b-f574-49ac-b3af-19c99364b709 · outbound
This paper cites Silva, Alexandra Mendes, and João F.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Silva, Alexandra Mendes, and João F
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.305662Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation a370586f-3623-4e4d-9451-defd2b61168f · outbound
This paper cites Dafny: An automatic program verifier for functional correct- ness.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Dafny: An automatic program verifier for functional correct- ness
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.309432Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation fc050834-b9d7-4d49-9112-8975caf5fc60 · outbound
This paper cites Towards language model guided tla+ proof automation.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Towards language model guided tla+ proof automation
Reference 35
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T16:51:09.499162Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation e2b69121-b9f7-4661-8a04-77ae0da6eebe · outbound
This paper cites Retrieval-Augmented TLAPS Proof Generation with Large Language Models.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Retrieval-Augmented TLAPS Proof Generation with Large Language Models
Reference 36
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T16:51:09.546839Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 53c494e4-1c97-436d-99aa-beba08354789 · outbound
This paper cites Proofcoop: Collaborative automated formal verification.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Proofcoop: Collaborative automated formal verification
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.337585Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation f6bea0b3-a8e0-4c25-84f6-c503dadb622d · outbound
This paper cites Bridging natural language and formal specification–automated translation of software requirements to ltl via hierarchical semantics decomposi- tion using llms.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Bridging natural language and formal specification–automated translation of software requirements to ltl via hierarchical semantics decomposi- tion using llms
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.321346Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation eed83c02-9dd3-444d-92af-b4cad6a75561 · outbound
This paper cites Glm- 4.5: Agentic, reasoning, and coding (arc) foundation models.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Glm- 4.5: Agentic, reasoning, and coding (arc) foundation models
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.341109Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 996c02af-9ba3-460d-81f9-7ee1fba1d6b6 · outbound
This paper cites Deepseek-r1: Incentivizing reasoning capability in llms via reinforcement learning.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Deepseek-r1: Incentivizing reasoning capability in llms via reinforcement learning
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.329578Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation e02ef595-b492-40fd-aa39-cd1378a2da8b · outbound
This paper cites LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Conference’17, July 2017, Washington, DC, USA.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Conference’17, July 2017, Washington, DC, USA
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.249291Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 95c8e99f-59ed-4e31-8763-e6e60eeb954f · outbound
This paper cites From informal to formal – incorporating and evaluating LLMs on natural language requirements to verifiable formal proofs.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation From informal to formal – incorporating and evaluating LLMs on natural language requirements to verifiable formal proofs
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.317338Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation fcbe457c-aaae-4513-b758-21e227d7cc49 · outbound
This paper cites A tale of 1001 LoC: Potential runtime error-guided specification synthesis for verifying large-scale programs.Proc.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation A tale of 1001 LoC: Potential runtime error-guided specification synthesis for verifying large-scale programs.Proc
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.325388Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation dc222f66-f017-41f9-8c98-ae36971e2602 · outbound
This paper cites Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters
Reference 44
- Resolution
- verified exact
- local_arxiv, observed 2026-05-11T16:51:09.524095Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation ab79b99c-a6b0-40e4-9c0d-6ae69426a489 · outbound
This paper cites Tla+ proofs.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Tla+ proofs
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.241754Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 9dad7695-b9bd-4c32-9f8c-377b12a53c09 · outbound
This paper cites Improvements in software verification and witness validation: Sv-comp 2025.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Improvements in software verification and witness validation: Sv-comp 2025
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.245419Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 80c07740-6a0b-453d-a498-0b25ae9128b3 · outbound
This paper cites Frama-c: a software analysis perspective.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Frama-c: a software analysis perspective
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.313378Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 5200a9d9-34c4-4762-a930-b530e7320129 · outbound
This paper cites Unixcoder: Unified cross-modal pre-training for code representation.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Unixcoder: Unified cross-modal pre-training for code representation
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.238487Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation ebd29081-b11d-40da-af65-39a45e9db30b · outbound
This paper cites Automate where automation fails: Proof strategies for frama-c/wp.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Automate where automation fails: Proof strategies for frama-c/wp
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.234762Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 90bbf6c6-d4c1-4e68-8cc1-b2314a6805ef · outbound
This paper cites Deepseek-v3 technical report.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Deepseek-v3 technical report
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.253041Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 54f9f6c6-a37b-40ee-b74c-0f829fa97bb9 · outbound
This paper cites Qwen3 technical report.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Qwen3 technical report
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.294342Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation a7ad512e-978c-4eee-ae22-d8022af86faf · outbound
This paper cites Qwen2.5-1M Technical Report.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Qwen2.5-1M Technical Report
Reference 52
- Resolution
- verified exact
- arxiv_id, observed 2026-05-15T05:26:00.189704Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 66b7edd7-4453-40b5-8ec4-f4282c99453b · outbound
This paper cites Qwen2.5-Coder Technical Report.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Qwen2.5-Coder Technical Report
Reference 53
- Resolution
- verified exact
- local_arxiv, observed 2026-05-11T16:51:09.493164Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 860a338b-af8c-457f-a168-94de098e60dc · outbound
This paper cites Llama 3 model card.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Llama 3 model card
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.349853Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 3f55c22c-b574-4d0d-ac71-a28f01c47f96 · outbound
This paper cites Evaluating large language models trained on code.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Evaluating large language models trained on code
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.370830Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation e5377f16-0a66-42c6-bd17-50da6d0439b9 · outbound
This paper cites DiffLiB: High-fidelity differentiable modeling of lithium-ion batteries and efficient gradient-based parameter identification.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation DiffLiB: High-fidelity differentiable modeling of lithium-ion batteries and efficient gradient-based parameter identification
Reference 56
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T16:51:09.543267Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 80469060-ee48-44e1-aaab-b7aeb8fe7897 · outbound
This paper cites Specgen: Automated generation of formal program specifications via large language models.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Specgen: Automated generation of formal program specifications via large language models
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.367810Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation d83d58a6-13ff-4e00-a7e5-4ec8b577ec0e · outbound
This paper cites Cok, Michael D.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Cok, Michael D
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.373936Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 63912c81-c810-4121-9684-5f8cfe2cf99a · outbound
This paper cites Lopes, Iris Ma, and James Noble.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Lopes, Iris Ma, and James Noble
Reference 59
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.381182Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 4c430eda-1a02-4ce6-a757-44da8be21216 · outbound
This paper cites Dafny: Statically verifying functional correctness.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Dafny: Statically verifying functional correctness
Reference 60
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.391301Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 1ae18a25-7e06-43ae-82c1-76bcc61f5d4f · outbound
This paper cites Speceval: Evaluating code comprehension in large language models via program specifica- tions.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Speceval: Evaluating code comprehension in large language models via program specifica- tions
Reference 61
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.398804Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation c55243e3-729e-4bc3-87fb-fff501bcec45 · outbound
This paper cites Invbench: Can llms accelerate program verification with invariant synthesis?.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Invbench: Can llms accelerate program verification with invariant synthesis?
Reference 62
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.360929Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation c1572a04-b2e6-4045-bb64-ecb432a81407 · outbound
This paper cites Local success does not compose: Benchmarking large language models for compositional formal verification.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Local success does not compose: Benchmarking large language models for compositional formal verification
Reference 63
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.357616Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 271f4503-5712-47ca-be98-63aa4bb80511 · outbound
This paper cites Veriequivbench: An equivalence score for ground-truth-free evaluation of formally verifiable code.
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation Veriequivbench: An equivalence score for ground-truth-free evaluation of formally verifiable code
Reference 64
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:56:30.364438Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Pith citing papers
Observation fe3afa99-3b4a-41e2-af35-71953c3da05a · inbound
TLA$^{+}$-Bench: An Execution-Grounded Benchmark and Dataset for Natural-Language to TLA+ Specification Generation cites this paper.
TLA$^{+}$-Bench: An Execution-Grounded Benchmark and Dataset for Natural-Language to TLA+ Specification Generation LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation
Reference 35
- Resolution
- unresolved
- no resolver link, observed 2026-07-30T22:39:33.974358Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.