Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry.
Shiven SinhaAmeya PrabhuPonnurangam KumaraguruSiddharth BhatMatthias BethgePublished in: CoRR (2024)
Keyphrases
- computational cost
- preprocessing
- experimental evaluation
- significant improvement
- high precision
- theoretical analysis
- high accuracy
- cost function
- dynamic programming
- pairwise
- synthetic data
- classification method
- prior knowledge
- feature vectors
- high dimensional
- classification accuracy
- similarity measure
- computationally efficient
- feature selection
- support vector machine svm
- detection method
- segmentation method
- genetic algorithm