NewA calmer, faster ZeroHour — security assessments on articles, story timelines and search from any page.

#lean4

0 stories this week · 2 this month · 2 in 6 months · mostly AI

Stories per day · 30 days

Relatedagentic-rl1 grpo1 guardrails1 lean-guard1 software-engineering1 terminal-agents1 tool-using-agents1

2 stories, newest first · one card per story

Hugging Face daily papers10d ago

LEANGUARD provides verified guardrails for tool-using agents

LeanGuard runtime checks tool calls against Lean4 policies, preventing policy violations and enabling safe repairs.

guardrails lean4

1

Hugging Face daily papers28d ago

Lean4AgenticRL trains LAR-9B and LAR-27B with process rewards

Authors report LAR-27B at 77.3% on TerminalBench-2.1 and a 9.89% average gain over the base model.

agentic-rl lean4

1