All Stories

  1. Using AI to Automatically Create Mathematical Proofs

    Article • June 2025, ACM (Association for Computing Machinery)

    Rubén Saborido, Juan Carlos Recio Abad