AI, Data Science, Geometry, Deepmind, Neurosymbolic Ai.
novel way of generating this synthetic data. “Basically,” said Trinh, “I built a neural-symbolic system consisting of a neural language model and a symbolic engine, and put them together. The neural language model handles the part of geometry problems where we have to construct new points and lines