1
Show HN: LLM-as-a-Verifier Plugin for DeepSeek Harness
用LLM给候选方案打分，为DeepSeek补上验证环节，安装即用。
Article URL: https://github.com/uson1x/dsh-plugin-llm-verifier Comments URL: https://news.ycombinator.com/item?id=49366057 Points: 1 # Comments: 0
2
Prior Audit-Repair Context Shifts LLM Verifier Thresholds Toward Leniency
同一个验证器，在“自己修过”的上下文里会变得更宽松，审计流程中的隐性偏斜值得警惕。
arXiv:2608.16003v1 Announce Type: new Abstract: Automated checking pipelines increasingly place one language model as the checker and another (or the …
3
The 4/$\delta$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
提出4/δ界限，为LLM验证器系统提供形式化保证，破解可预测性难题，值得关注。
arXiv:2512.02080v3 Announce Type: replace Abstract: The integration of Formal Verification tools with Large Language Models (LLMs) offers a path to sc…
4
SAFE: An LLM-as-Verifier Framework for Evidence-Grounded Multi-Hop Reasoning
LLM化身验证器，用证据链提升多跳推理的准确性与可信度
arXiv:2604.01993v2 Announce Type: replace-cross Abstract: Multi-hop QA benchmarks often reward Large Language Models (LLMs) for spurious correctness, …