firstbacksecondback
1252 Results
|
Workshop
|
Formal Theorem Proving by Rewarding LLMs to Decompose Proofs Hierarchically Kefan Dong · Arvind Mahankali · Tengyu Ma |
||
|
Workshop
|
The Impact of Large Language Models in Academia: from Writing to Speaking Mingmeng Geng · caixi chen · Yanru Wu · Dongping Chen · Yao Wan · Pan Zhou |
||
|
Workshop
|
Jailbreaking Large Language Models with Symbolic Mathematics Emet Bethany · Mazal Bethany · Juan Nolazco-Flores · Sumit Jha · peyman najafirad |
||
|
Workshop
|
Strategic Interactions between Large Language Models-based Agents in Beauty Contests Siting Estee Lu |
||
|
Workshop
|
Shh, don't say that! Domain Certification in LLMs Cornelius Emde · Preetham Arvind · Alasdair Paren · Maxime Kayser · Thomas Rainforth · Thomas Lukasiewicz · Philip Torr · Adel Bibi |
||
|
Workshop
|
Semantic Entropy Neurons: Encoding Semantic Uncertainty in the Latent Space of LLMs Jiatong Han · Jannik Kossen · Muhammed Razzak · Yarin Gal |
||
|
Workshop
|
Synchronizing Verbal Responses and Board Writing for Multimodal Math Instruction with LLMs Yuan-Hao Jiang · Ruijia Li · Yuang Wei · Rui Jia · Xiaobao Shao · Hanglei Hu · Bo Jiang |
||
|
Workshop
|
Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data Huajian Xin · Daya Guo · Zhihong Shao · Z.Z. Ren · Qihao Zhu · Bo Liu · Chong Ruan · Wenda Li · Xiaodan Liang |
||
|
Workshop
|
Sat 15:45 |
A Framework for Evaluating LLMs Under Task Indeterminacy Luke Guerdan · Hanna Wallach · Solon Barocas · Alexandra Chouldechova |
|
|
Workshop
|
Protecting Users From Themselves: Safeguarding Contextual Privacy in Interactions with Conversational Agents Kieleh Ngong Ivoline Clarisse · Swanand Kadhe · Hao Wang · Keerthiram Murugesan · Justin D Weisz · Amit Dhurandhar · Karthikeyan Natesan Ramamurthy |
||
|
Workshop
|
A Framework for Evaluating LLMs Under Task Indeterminacy Luke Guerdan · Hanna Wallach · Solon Barocas · Alexandra Chouldechova |
||
|
Workshop
|
NusaMT-7B: Machine Translation for Low-Resource Indonesian Languages with Large Language Models William Tan · Kevin Zhu |