Skip to yearly menu bar Skip to main content


(3 events)   Timezone:  
Show all
Toggle Poster Visibility
Oral
Tue Dec 12 08:00 AM -- 08:15 AM (PST) @ La Nouvelle Orleans Ballroom A-C (level 2) None
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Kaiyu Yang · Aidan Swope · Alex Gu · Rahul Chalamala · Peiyang Song · Shixing Yu · Saad Godil · Ryan J Prenger · Animashree Anandkumar
[ Slides [ OpenReview
Oral
Tue Dec 12 08:15 AM -- 08:30 AM (PST) @ La Nouvelle Orleans Ballroom A-C (level 2) None
OpenAssistant Conversations - Democratizing Large Language Model Alignment
Andreas Köpf · Yannic Kilcher · Dimitri von Rütte · Sotiris Anagnostidis · Zhi Rui Tam · Keith Stevens · Abdullah Barhoum · Duc Nguyen · Oliver Stanley · Richárd Nagyfi · Shahul ES · Sameer Suri · David Glushkov · Arnav Dantuluri · Andrew Maguire · Christoph Schuhmann · Huu Nguyen · Alexander Mattick
[ OpenReview
Oral
Tue Dec 12 08:30 AM -- 08:45 AM (PST) @ La Nouvelle Orleans Ballroom A-C (level 2) None
DecodingTrust: A Comprehensive Assessment of Trustworthiness in GPT Models
Boxin Wang · Weixin Chen · Hengzhi Pei · Chulin Xie · Mintong Kang · Chenhui Zhang · Chejian Xu · Zidi Xiong · Ritik Dutta · Rylan Schaeffer · Sang Truong · Simran Arora · Mantas Mazeika · Dan Hendrycks · Zinan Lin · Yu Cheng · Sanmi Koyejo · Dawn Song · Bo Li
[ OpenReview