Discovering New Theorems via LLMs with In-Context Proof Learning in Lean
Back to ArXiv Papers
Paper Content
📄 Open in New Tab
AI Review
Submit to AI Reviewer
Please note the paper has not yet undergone AI review.
Keywords
Extract Keywords
Click the button to extract keywords
Insights
Extract Insights
Click the button to extract insights