大模型推理能力

Application of AI to formal methods - an analysis of current trends

Sebastian Stock, Jannik Dunkelau, Atif Mashkoor

机构 * Institute of Software System Engineering（软件系统工程研究所） ； Johannes Kepler University Linz（约翰·凯撒大学林茨分校） ； Faculty of Mathematics and Natural Sciences（数学与自然科学学院） ； Heinrich Heine University Düsseldorf（海因里希·海涅大学杜塞尔多夫分校） 纠错

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI、cs.LG

Are formal and functional linguistic mechanisms dissociated in language models?

Michael Hanna, Yonatan Belinkov, Sandro Pezzelle

机构 * Institute for Logic, Language and Computation University of Amsterdam（逻辑、语言与计算研究所 阿姆斯特丹大学） ； Technion – Israel Institute of Technology（技术ion-以色列理工学院） 纠错

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.CL

Comments To appear in Computational Linguistics. Pre-MIT Press publication version. 40 pages, 14 figures, 3 tables. Code available at https://github.com/hannamw/formal-functional-dissociation