This is the neuro-symbolic architecture of #AlphaGeometry. Similar to System1 and System 2, in the book "Thinking, fast and slow", the symbolic engine will first take a crack at the problem mechanically; if it gets stuck it will ask the neural language model for suggestions of… pic.twitter.com/mDHcDEg3RB
— Thang Luong (@lmthang) January 17, 2024
These are examples of the random diagrams that we start off with for our synthetic data generation. We use 100K CPU workers to generate one billion random diagrams, then run symbolic deduction and traceback for 3-4 days. After deduplication and filtering by "interestingness", we… pic.twitter.com/qgBzBxQ7JN
— Thang Luong (@lmthang) January 17, 2024
No comments:
Post a Comment