Resource Awareness, Session Types, Proof Nets, Substructural Logic
A Comedy Writer on How AI Changes Her Field
dbreunig.comยท13h
What Optimization Terminologies for Linear Programming Really Mean
towardsdatascience.comยท3d
Do Large Language Models Have a Planning Theory of Mind? Evidence from MindGames: a Multi-Step Persuasion Task
arxiv.orgยท3d
Neural Machine Unranking
arxiv.orgยท1d
Loading...Loading more...