WeSearch
Hub / Tags / Formal Mathematics
TAG · #FORMAL-MATHEMATICS

Formal Mathematics coverage.

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

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

⌘ RSS feed for this tag →   or   search "Formal Mathematics"

RELATED TAGS
#ai1#ml1#neurosymbolic1#proof-optimization1
ARXIV CS.AI

LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks

Large Language Models (LLMs) exhibit strong informal mathematical reasoning but struggle to generate mechanically verifiable proofs in formal languages like Lean. We present LEAP, …

12 views ·
#artificial intelligence#mathematics#machine learning
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.…

15 views ·
#artificial intelligence#machine learning#neurosymbolic

Browse more

All tags Search "Formal Mathematics" RSS feed World US Technology Markets