@imperialauditor I'm also bullish on literally using Transformers as oracles to solve NP problems efficiently (e.g. as branch-and-bound heuristics, or guiding a theorem prover). If there's a…

Posters: davidad. davidad

2 likes recorded by the source corpus.