AI RESEARCH
Yanasse: Finding New Proofs from Deep Vision's Analogies, Part 1
arXiv CS.AI
•
ArXi:2604.17229v1 Announce Type: new Project Yanasse presents a method for discovering new proofs of theorems in one area of mathematics by transferring proof strategy patterns (e.g., Lean 4 tactic invocation patterns) from a structurally distant area.