Transformer Models for Type Inference in the Simply Typed Lambda Calculus: A Case Study in Deep Learning for Code
专题命中 推理评测 :reasoning(abstract);分类 cs.AI、cs.LG
Comments 22 pages
AI 大模型
大模型数学、逻辑、规划、多步推理和测试时计算能力。
专题命中 推理评测 :reasoning(abstract);分类 cs.AI、cs.LG
Comments 22 pages
专题命中 推理评测 :reasoning(abstract);分类 cs.AI、cs.LG
Comments ICLR 2023. website: https://liqing-ustc.github.io/HINT
专题命中 推理评测 :reasoning(abstract);分类 cs.CL、cs.LG
专题命中 推理评测 :reasoning(abstract);分类 cs.CL、cs.AI
专题命中 推理评测 :planning(abstract);分类 cs.AI、cs.LG
Comments Accepted to the 2023 IEEE Intelligent Vehicles Symposium (IV 2023)
专题命中 推理评测 :reasoning(abstract);分类 cs.CL、cs.AI
Comments 35 pages, 15 figures; added GPT-4-base model results and discussion
专题命中 推理评测 :reasoning(abstract);分类 cs.AI、cs.LG
专题命中 推理评测 :reasoning(abstract);分类 cs.AI、cs.LG
Comments Accepted by the 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR 2023)
专题命中 推理评测 :reasoning(abstract);分类 cs.CL、cs.AI
Comments 11 pages, 2 figures
专题命中 推理评测 :reasoning(abstract);分类 cs.AI、cs.LG
Comments The Eleventh International Conference on Learning Representations, ICLR'23
专题命中 推理评测 :reasoning(abstract);分类 cs.CL、cs.AI
Comments Source code and data available in online SI at https://github.com/mjbommar/gpt-as-knowledge-worker
专题命中 推理评测 :reasoning(abstract);分类 cs.AI、cs.LG
Comments 74 pages
专题命中 推理评测 :reasoning(abstract);分类 cs.AI、cs.LG
专题命中 推理评测 :reasoning(abstract);分类 cs.CL、cs.AI
Comments ML Safety Workshop, NeurIPS 2022
专题命中 推理评测 :reasoning(abstract);分类 cs.AI、cs.LG
专题命中 推理评测 :planning(abstract);分类 cs.AI、cs.LG
Comments Published in CoRL 2022. Main text (8 pages, 3 figures) + acknowledgements and references (3 pages) + appendix (7 pages, 4 figures)
专题命中 推理评测 :reasoning(abstract);分类 cs.CL、cs.AI
专题命中 推理评测 :reasoning(abstract);分类 cs.AI、cs.LG
Comments Code: https://github.com/pleaseconnectwifi/DANCE Project page: shuquanye.com/DANCE_website
专题命中 推理评测 :reasoning(abstract);分类 cs.CL、cs.AI
Comments Accepted to EMNLP 2022
专题命中 推理评测 :reasoning(abstract);分类 cs.CL、cs.AI
Comments Accepted to EMNLP 2022; 34 pages
专题命中 推理评测 :reasoning(abstract);分类 cs.CL、cs.AI
Comments Accepted to BlackBoxNLP, EMNLP 2022
专题命中 推理评测 :reasoning(abstract);分类 cs.CL、cs.AI
Comments Accepted to EMNLP 2022
专题命中 推理评测 :reasoning(abstract);分类 cs.CL、cs.AI
Comments Accepted to NeurIPS 2022, Datasets and Benchmarks. Website: https://winogavil.github.io/
专题命中 推理评测 :reasoning(abstract);分类 cs.AI、cs.LG
Comments 10 pages main, 38 pages appendix. Accepted at NeurIPS 2022 Track on Datasets and Benchmarks Data, code and leaderboards from: http://epic-kitchens.github.io/VISOR
专题命中 推理评测 :reasoning(abstract);分类 cs.AI、cs.LG
专题命中 推理评测 :reasoning(abstract);分类 cs.CL、cs.AI
专题命中 推理评测 :reasoning(abstract);分类 cs.CL、cs.AI
Comments Paper accepted by AAAI 2022
专题命中 推理评测 :reasoning(abstract);分类 cs.AI、cs.LG
Comments Authored by the Center for Research on Foundation Models (CRFM) at the Stanford Institute for Human-Centered Artificial Intelligence (HAI). Report page with citation guidelines: https://crfm.stanford.edu/report.html
专题命中 推理评测 :reasoning(abstract);分类 cs.AI、cs.LG
Comments EBeM'22: AI Evaluation Beyond Metrics, July 24, 2022, Vienna, Austria
专题命中 推理评测 :reasoning(abstract);分类 cs.CL、cs.AI
Comments published in EMNLP 2021