WeSearch
Hub / Tags / Grasshopper Problem
TAG · #GRASSHOPPER-PROBLEM

Grasshopper Problem coverage.

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

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

⌘ RSS feed for this tag →   or   search "Grasshopper Problem"

RELATED TAGS
#ai1#theorem-proving1#lean-41#formalization1
ARXIV CS.AI

Using Aristotle API for AI-Assisted Theorem Proving in Lean 4: A Formalisation Case Study of the Grasshopper Problem

AI-assisted theorem proving can now generate substantial Lean developments for olympiad-level mathematics, but the evidential status of such developments depends on which declarati…

12 views ·
#artificial intelligence#theorem proving#lean 4

Browse more

All tags Search "Grasshopper Problem" RSS feed World US Technology Markets