Login / Signup

Lean Workbook: A large-scale Lean problem set formalized from natural language math problems.

Huaiyuan YingZijian WuYihan GengJiayu WangDahua LinKai Chen
Published in: CoRR (2024)
Keyphrases
  • natural language
  • problems involving
  • machine learning
  • real life
  • information extraction
  • optimization problems
  • constraint satisfaction problems
  • small scale
  • finite number
  • minimum cost
  • language processing