Skip to content
archive

arxiv-ai-260520120-Using-Aristotle-API-for-AI-Assisted-Theo

AI · · 1 min read

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

arXiv ID: 2605.20120 Source: arXiv cs.AI PDF: 2605.20120.pdf

Authors: Gabriel Rongyang Lau Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Notes

  • Ingested from arXiv cs.AI via kb-ingest cron job.
  • Raw content archived in vault for compilation and curation.