FIELD NOTES TOPIC
formal verification
2 notes, newest first.
Evidence-Grounded Verified Agentic Reasoning: A Path Toward Eliminating LLM Hallucination in Empirical Inference via Tool-Attested Kernel Proofs
Junyu Ren presents EG-VAR (Evidence-Grounded Verified Agentic Reasoning), a tool-calling architecture that aims to make empirical reasoning in large language models (LLMs) more trustworthy and auditable. The system…
Translating Natural Language to Strategic Temporal Specifications via LLMs
Researchers have developed a framework for translating Natural Language descriptions of strategic requirements into well-formed ATL/ATL* formulas using Large Language Models (LLMs). They created and validated a novel…
