← Latest products

Symbolic AI at Silver Medal, Boosts AlphaGeometry to Beat IMO Geo Gold

Abstract page for arXiv paper 2404.06405: Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry.

Visit arxiv.orgexternal site

Reactions (1)

Similar products

by description similarity

  1. A Implementation of Alpha Zero for Chess in MLX

    github.com

    time to learn mlx

    Hacker News71 pts

  2. Olympiad Math Exercises for Grades 2-8

    mathclub.ai

    Prepare for math contests by solving authentic Olympiad problems. Receive new exercises weekly and enhance your skills with personalized AI feedback. Explore genuine problems from past Math Competitions and Olympiads, crafted to refine your problem-solving abilities through AI-driven insights.

    Hacker News5 pts

  3. We scored 50k PRs with AI

    gitvelocity.dev

    what we learned about code complexity

    Hacker News11 pts

  4. Improving search ranking with chess Elo scores

    zeroentropy.dev

    We build high accuracy search infrastructure for RAG and AI Agents.

    Hacker News193 pts

  5. Experiments in AI-generation of crosswords

    abstractnonsense.com

    Recently I've been feeling like my results are good enough that I want to share them and see what other people think.

    Hacker News38 pts