WeSearch
Hub / Tags / Proof Refactoring
TAG · #PROOF-REFACTORING

Proof Refactoring coverage.

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

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

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

RELATED TAGS
#ai1#formal-proofs1
ARXIV CS.AI

Proof-Refactor: Refactoring Generated Formal Proofs into Modular Artifacts

While Large Language Models (LLMs) have shown strong performance in generating formal proofs, their outputs often remain less readable, modular, maintainable, and reusable than pro…

7 views ·
#artificial intelligence#formal proofs

Browse more

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