Research Papers

Thank you! Your submission has been received!

Oops! Something went wrong while submitting the form.

Can We Trust AI With Our Spreadsheets?

Rango: AI-Powered Proof Automation for Coq

Kyle Thompson|Nuno Saavedra|Pedro Carrott|Kevin Fisher|Alex Sanchez-Stern|Yuriy Brun|João F. Ferreira|Sorin Lerner|Emily First

Unlocking AI’s Reasoning Power: Search and Learning

Zhiyuan Zeng|Qinyuan Cheng|Zhangyue Yin|Bo Wang|Shimin Li|Yunhua Zhou|Qipeng Guo|Xuanjing Huang|Xipeng Qiu

Why AI Test Generators Miss Bugs

Noble Saji Mathews|Meiyappan Nagappan

Can LLMs Unlock Scientific Creativity?

Tianyang Gu|Jingjin Wang|Zhihao Zhang|HaoHong Li

Unlocking LLM Potential: Two-Phase Training

Steven Feng|Shrimai Prabhumoye|Kezhi Kong|Dan Su|Mostofa Patwary|Mohammad Shoeybi|Bryan Catanzaro

Unlocking Insights: How LLMs Revolutionize Data Analytics

Atin Sakkeer Hussain

Can AI Agents Run a Company?

Frank F. Xu|Yufan Song|Boxuan Li|Yuxuan Tang|Kritanjali Jain|Mengxue Bao|Zora Z. Wang|Xuhui Zhou|Zhitong Guo|Murong Cao|Mingyang Yang|Hao Yang Lu|Amaad Martin|Zhe Su|Leander Maben|Raj Mehta|Wayne Chi|Lawrence Jang|Yiqing Xie|Shuyan Zhou|Graham Neubig

Can AI Really Spot Fake News?

Shaina Raza|Drai Paulen-Patterson|Chen Ding

The first platform built for prompt engineering