|
Workshop
|
|
Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception
Yunhao Yang · Cyrus Neary · Ufuk Topcu
|
|
|
Workshop
|
|
Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception
Yunhao Yang · Cyrus Neary · Ufuk Topcu
|
|
|
Workshop
|
|
Paper 4: Beyond Hallucination: Building a Reliable Question Answering & Explanation System with GPTs
Kazem Jahanbakhsh · Hajiabadi · Vipul Gagrani · Jennifer Louie · Saurabh Khanwalkar · Kazem Jahanbakhsh
|
|
|
Workshop
|
|
TinyGSM: achieving 80% on GSM8k with one billion parameters
Bingbin Liu · Sebastien Bubeck · Ronen Eldan · Janardhan Kulkarni · Yuanzhi Li · Anh Nguyen · Rachel Ward · Yi Zhang
|
|
|
Poster
|
Wed 8:45
|
VeriX: Towards Verified Explainability of Deep Neural Networks
Min Wu · Haoze Wu · Clark Barrett
|
|
|
Poster
|
Tue 8:45
|
ALGO: Synthesizing Algorithmic Programs with Generated Oracle Verifiers
Kexun Zhang · Kexun Zhang · Danqing Wang · Jingtao Xia · William Yang Wang · Lei Li
|
|
|
Poster
|
Wed 15:00
|
Tools for Verifying Neural Models' Training Data
Dami Choi · Yonadav Shavit · David Duvenaud
|
|
