Proving Olympiad Algebraic Inequalities without Human Demonstrations.

Chenrui Wei Mengzhou Sun Wei Wang

Published in: CoRR (2024)

Keyphrases

sufficient conditions
human experts
human behavior
human robot interaction
linear inequalities
real time
neural network
machine learning
information systems
decision making
case study
natural language
human users