WeSearch
Hub / Tags / Autoformalisation
TAG · #AUTOFORMALISATION

Autoformalisation coverage.

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

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

⌘ RSS feed for this tag →   or   search "Autoformalisation"

RELATED TAGS
#ai1#formal-methods1#large-language-models1#scientific-reasoning1
ARXIV.ORG

FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean

Formalising informal mathematical reasoning into formally verifiable code is a significant challenge for large language models. In scientific fields such as physics, domain-specifi…

2 views ·
#artificial intelligence#formal methods

Browse more

All tags Search "Autoformalisation" RSS feed World US Technology Markets