|
|
|
|
|
|
by king07828
2408 days ago
|
|
|
From the title, I was expecting the neural network to take an input (e.g., speech or a string "5+11+3=") and then control mouse movements to push the keys on a calculator program (e.g., Windows Calculator). I.e., a neural network driving an existing user interface based on commands from a user. But the article is more about using neural network transformers to build steps of a mathematical proof with each step checked by a symbolic "calculator". I.e., transformers applied to mathematical proofs. |
|
|