WeSearch
Hub / Tags / Proof Optimization
TAG · #PROOF-OPTIMIZATION

Proof Optimization coverage.

Every story in the WeSearch catalog tagged with #proof-optimization, chronological, with view counts. Subscribe to the per-tag RSS feed to follow this topic in your reader of choice.

2 stories tagged with #proof-optimization, in publish-time order across the WeSearch catalog. Tag pages update as new stories ingest.

⌘ RSS feed for this tag →   or   search "Proof Optimization"

RELATED TAGS
#ai1#ml1#neurosymbolic1#formal-mathematics1
ARXIV CS.AI

ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization

Formal mathematics libraries are rapidly expanding, creating a growing need to refactor verified proofs for maintainability and to improve training data quality for neural provers.…

14 views ·
#artificial intelligence#machine learning#neurosymbolic
ARXIV CS.AI

Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search

We present Lean Refactor, a plug-and-play retrieval-augmented agentic framework for multi-objective, controllable, and version-robust refactoring of Lean proofs. LLM-generated proo…

16 views ·
#computer science#artificial intelligence#software engineering

Browse more

All tags Search "Proof Optimization" RSS feed World US Technology Markets