Yanasse: Finding New Proofs from Deep Vision's Analogies, Part 1

Alexandre Linhares

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…