alfredr OP t1_jcuoqg4 wrote
Reply to comment by millenial_wh00p in [R] What are the current must-read papers representing the state of the art in machine learning research? by alfredr
Point taken on the "gold rush". My background is CS Theory so the incorporation of combinatorial methods feels right at home. Along these lines, are you aware of the use of any work incorporating (combinatorial) logic verification into generative language models? The end goal would be improved argument synthesis (e.g. mathematical proofs, say)
millenial_wh00p t1_jcuq0zo wrote
No, unfortunately most of my work is with tabular data with a bit of computer vision- I haven’t looked into any application of language models in that area unfortunately. In theory the tokenization in language models shouldn’t be much different than features in tabular/imagery data. There probably are some parallels worth exploring there, I’m just not aware of any papers.
Viewing a single comment thread. View all comments