NeurIPS 2024 Workshop Sys2-Reasoning Submissions

World Models for Web Agents
Hyungjoo Chae, Namyoung Kim, Minju Gwak, Gwanwoo Song, Jihoon Kim, Kai Tzu-iunn Ong, Sunghwan Kim, Dongha Lee, Jinyoung Yeo
- Published: 10 Oct 2024, Last Modified: 10 Oct 2024
- Sys2-Reasoning Poster
- Readers: Everyone
System 2 Reasoning Capabilities Are Nigh
Scott C. Lowe
- Published: 10 Oct 2024, Last Modified: 29 Oct 2024
- Sys2-Reasoning Poster
- Readers: Everyone
STaR: Benchmarking Spatio-Temporal Reasoning for Systematic Generalization
Irtaza Khalid, Steven Schockaert
- Published: 10 Oct 2024, Last Modified: 23 Oct 2024
- Sys2-Reasoning Poster
- Readers: Everyone
Reasoning Abilities of Large Language Models through the Lens of Abstraction and Reasoning
Seungpil Lee, Woochang Sim, Donghyeon Shin, Sejin Kim, Sundong Kim
- Published: 10 Oct 2024, Last Modified: 13 Oct 2024
- Sys2-Reasoning Poster
- Readers: Everyone
Recursive Decomposition with Dependencies for Generic Divide-and-Conquer Reasoning
Sergio Hernández-Gutiérrez, Minttu Alakuijala, Alexander V Nikitin, Pekka Marttinen
- Published: 10 Oct 2024, Last Modified: 10 Oct 2024
- Sys2-Reasoning Poster
- Readers: Everyone
Bongard in Wonderland: Visual Puzzles that Still Make AI Go Mad?
Antonia Wüst, Tim Tobiasch, Lukas Helff, Devendra Singh Dhami, Constantin A. Rothkopf, Kristian Kersting
- Published: 10 Oct 2024, Last Modified: 25 Oct 2024
- Sys2-Reasoning Poster
- Readers: Everyone
Proof Flow: Preliminary Study on Generative Flow Network Language Model Tuning for Formal Reasoning
Matthew Ho, Vincent Zhu, Xiaoyin Chen, Moksh Jain, Nikolay Malkin, Edwin Zhang
- Published: 10 Oct 2024, Last Modified: 25 Oct 2024
- Sys2-Reasoning Poster
- Readers: Everyone
Can Stories Help LLMs Reason? Curating Information Space Through Narrative
Vahid Sadiri Javadi, Johanne Trippas, Lucie Flek
- Published: 10 Oct 2024, Last Modified: 10 Oct 2024
- Sys2-Reasoning Poster
- Readers: Everyone
VCR: Visual Caption Restoration
Tianyu Zhang, Suyuchen Wang, Lu Li, Ge Zhang, Perouz Taslakian, Sai Rajeswar, Jie Fu, Bang Liu, Yoshua Bengio
- Published: 10 Oct 2024, Last Modified: 10 Oct 2024
- Sys2-Reasoning Poster
- Readers: Everyone
Algorithmic Language Models with Neurally Compiled Libraries
Lucas Paul Saldyt, Subbarao Kambhampati
- Published: 10 Oct 2024, Last Modified: 24 Oct 2024
- Sys2-Reasoning Poster
- Readers: Everyone
Logically Consistent Language Models via Neuro-Symbolic Integration
Diego Calanzone, Stefano Teso, Antonio Vergari
- Published: 10 Oct 2024, Last Modified: 10 Oct 2024
- Sys2-Reasoning Poster
- Readers: Everyone
Monte Carlo Tree Search Boosts Reasoning via Iterative Preference Learning
Yuxi Xie, Anirudh Goyal, Wenyue Zheng, Min-Yen Kan, Timothy P Lillicrap, Kenji Kawaguchi, Michael Shieh
- Published: 10 Oct 2024, Last Modified: 28 Oct 2024
- Sys2-Reasoning Poster
- Readers: Everyone
MemReasoner: A Memory-augmented LLM Architecture for Multi-hop Reasoning
Ching-Yun Ko, Sihui Dai, Payel Das, Georgios Kollias, Subhajit Chaudhury, Aurelie Lozano
- Published: 10 Oct 2024, Last Modified: 25 Oct 2024
- Sys2-Reasoning Poster
- Readers: Everyone
Distilling System 2 into System 1
Ping Yu, Jing Xu, Jason E Weston, Ilia Kulikov
- Published: 10 Oct 2024, Last Modified: 10 Oct 2024
- Sys2-Reasoning Poster
- Readers: Everyone
Thinking Fast and Laterally: Multi-Agentic Approach for Reasoning about Uncertain Emerging Events
Stefan Dernbach, Alejandro Michel, Khushbu Agarwal, Christopher Brissette, geetika gupta, Sutanay Choudhury
- Published: 10 Oct 2024, Last Modified: 29 Oct 2024
- Sys2-Reasoning Poster
- Readers: Everyone
Doing Experiments and Revising Rules with Natural Language and Probabilistic Reasoning
Wasu Top Piriyakulkij, Cassidy Langenfeld, Tuan Anh Le, Kevin Ellis
- Published: 10 Oct 2024, Last Modified: 10 Oct 2024
- Sys2-Reasoning Poster
- Readers: Everyone
Sampling Language from Latent System 2 Reasoning
Celine Lee, Md Arafat Sultan, Tahira Naseem, Alexander M Rush, Ramón Fernandez Astudillo
- Published: 10 Oct 2024, Last Modified: 28 Oct 2024
- Sys2-Reasoning Poster
- Readers: Everyone
CryptoFormalEval: Integrating Large Language Models and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection
Cristian Curaba, D'Ambrosi Denis, Alessandro Minisini
- Published: 10 Oct 2024, Last Modified: 28 Oct 2024
- Sys2-Reasoning Poster
- Readers: Everyone
Interpretable Concept Bottlenecks to Align Reinforcement Learning Agents
Quentin Delfosse, Sebastian Sztwiertnia, Mark Rothermel, Wolfgang Stammer, Kristian Kersting
- Published: 10 Oct 2024, Last Modified: 10 Oct 2024
- Sys2-Reasoning Poster
- Readers: Everyone
Diverse capability and scaling of diffusion and auto-regressive models when learning abstract rules
Binxu Wang, Jiaqi Shang, Haim Sompolinsky
- Published: 10 Oct 2024, Last Modified: 28 Oct 2024
- Sys2-Reasoning Poster
- Readers: Everyone
Rational Metareasoning for Large Language Models
C. Nicolò De Sabbata, Theodore Sumers, Thomas L. Griffiths
- Published: 10 Oct 2024, Last Modified: 20 Oct 2024
- Sys2-Reasoning Poster
- Readers: Everyone
Equitable Access to Justice: Logical LLMs Show Promise
Manuj Kant, Marzieh Nabi, Manav Kant, Preston Carlson, Megan Ma
- Published: 10 Oct 2024, Last Modified: 27 Oct 2024
- Sys2-Reasoning Poster
- Readers: Everyone
Planning in Natural Language Improves LLM Search for Code Generation
Evan Z Wang, Federico Cassano, Catherine Wu, Yunfeng Bai, William Song, Vaskar Nath, Ziwen Han, Sean M. Hendryx, Summer Yue, Hugh Zhang
- Published: 10 Oct 2024, Last Modified: 28 Oct 2024
- Sys2-Reasoning Poster
- Readers: Everyone
Generative Verifiers: Reward Modeling as Next-Token Prediction
Lunjun Zhang, Arian Hosseini, Hritik Bansal, Mehran Kazemi, Aviral Kumar, Rishabh Agarwal
- Published: 10 Oct 2024, Last Modified: 10 Oct 2024
- Sys2-Reasoning Poster
- Readers: Everyone
Horizon-Length Prediction: Advancing Fill-in-the-Middle Capabilities for Code Generation with Lookahead Planning
Yifeng Ding, Hantian Ding, Shiqi Wang, Qing Sun, Varun Kumar, Zijian Wang
- Published: 10 Oct 2024, Last Modified: 28 Oct 2024
- Sys2-Reasoning Poster
- Readers: Everyone