Lean Refactor uses retrieval from a curated multi-objective strategy database to guide frozen LLMs in refactoring Lean proofs, reporting over 70% token compression on benchmarks and improved version transfer.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
MATRA adapts established risk assessment into a framework using impact assessment and attack trees to quantify how architectural controls reduce risks from LLM threats in agentic AI deployments like OpenClaw.
citing papers explorer
-
Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search
Lean Refactor uses retrieval from a curated multi-objective strategy database to guide frozen LLMs in refactoring Lean proofs, reporting over 70% token compression on benchmarks and improved version transfer.
-
MATRA: Modeling the Attack Surface of Agentic AI Systems -- OpenClaw Case Study
MATRA adapts established risk assessment into a framework using impact assessment and attack trees to quantify how architectural controls reduce risks from LLM threats in agentic AI deployments like OpenClaw.