firstbacksecondback
67 Results
|
Workshop
|
NLIR: Natural Language Intermediate Representation for Mechanized Theorem Proving Laetitia Teodorescu · Guillaume Baudart · Emilio Arias · marc lelarge |
||
|
Workshop
|
Towards Optimizing SQL Generation via LLM Routing Mohammadhossein Malekpour · Nour Shaheen · Foutse Khomh · Amine Mhedhbi |
||
|
Poster
|
Fri 11:00 |
CA-SSLR: Condition-Aware Self-Supervised Learning Representation for Generalized Speech Processing Yen-Ju Lu · Jing Liu · Thomas Thebaud · Laureano Moro-Velazquez · Ariya Rastrow · Najim Dehak · Jesus Villalba |
|
|
Poster
|
Wed 11:00 |
NaturalBench: Evaluating Vision-Language Models on Natural Adversarial Samples Baiqi Li · Zhiqiu Lin · Wenxuan Peng · Jean de Dieu Nyandwi · Daniel Jiang · Zixian Ma · Simran Khanuja · Ranjay Krishna · Graham Neubig · Deva Ramanan |
|
|
Workshop
|
Bayesian Optimisation for Protein Sequence Design: Gaussian Processes with Zero-Shot Protein Language Model Prior Mean Carolin Benjamins · Shikha Surana · Oliver Bent · Marius Lindauer · Paul Duckworth |
||
|
Workshop
|
SciRIFF: A Resource to Enhance Language Model Instruction-Following over Scientific Literature David Wadden · Kejian Shi · Jacob Morrison · Aakanksha Naik · Shruti Singh · Nitzan Barzilay · Kyle Lo · Tom Hope · Luca Soldaini · Zejiang Shen · Doug Downey · Hannaneh Hajishirzi · Arman Cohan |
||
|
Workshop
|
Meta-Designing Quantum Experiments with Language Models Sören Arlt · Haonan Duan · Felix Li · Sang Michael Xie · Yuhuai Wu · Mario Krenn |