Latest

Every published item, in order · 8120 items
Oct 16
Tomorrow 08:00, the daily lands in your inboxTelegram channel or email. Same screening as this page, no ads.
PapersBuildersSelected09:29
ChainGraph: Neo4j-Based Exploit-Chain Reasoning for Penetration-Testing Agents

The result suggests the weakness in agentic security testing lies in flat context windows rather than model capability, so externalizing memory to a graph is a fix practitioners can apply today. Security engineers and red-team builders can wire Neo4j into existing MCP-compatible agents like Claude Code and Codex without custom tooling. The findings are illustrative single-run measurements, so treat them as a design pattern to replicate rather than a benchmark.

arXiv: OpenAI@Joas Antonio dos Santos BarbosaSource
PapersBuildersSelected09:28
IneqAgent Pairs LLM Agents with Symbolic Backends for Lean4 Inequality Proving

The interesting part is the division of labour: the LLM handles high-level lemma strategy while exact symbolic backends supply certificates, keeping every step Lean-verified and cheap at low inference budgets. Formal-methods researchers and theorem-proving engineers can reuse the MCTS-plus-backend pattern for other proof domains. It also gives DeepSeek-V4-Flash a concrete reasoning benchmark data point against other backbones tested in the paper.

arXiv: DeepSeek@Gaolei He et al. (5)Source
Oct 15
PapersBuildersSelected12:52
BizBench Benchmark Tests Agent Execution Validity in Payments Workflows

The benchmark shows that outcome-only evaluation masks invalid execution, since models can hit the final goal while violating constraints mid-run — a gap that matters most in regulated domains like payments where intermediate errors carry financial or compliance consequences. Agent builders can use the 50-task suite and deterministic checks to measure constraint compliance and tool-call overhead, not just task success. Teams choosing models for workflow automation get a direct comparison of frontier and open models under identical conditions.

arXiv: DeepSeek@Enhan Zhao et al. (9)Source

Only the latest 2000 items are listed; for older ones see the daily archive