Skip to yearly menu bar Skip to main content


Workshop Sun, Apr 26, 2026 • 5:00 AM – 1:00 PM PDT 202 A/B

Workshop on Logical Reasoning of Large Language Models

Haoxuan Li ⋅ Fenrong Liu ⋅ Michael Witbrock ⋅ Arman Cohan ⋅ Peter Clark ⋅ Johan van Benthem ⋅ Zhouchen Lin
Project Page

Abstract

Video

Chat is not available.

Schedule

Timezone: America/Los_Angeles
5:00 AM
Welcome Remarks
6:00 AM
Break
6:30 AM
Quantifying Consistency in LLM Logical Reasoning via Structural Uncertainty
Baishali Chaudhury ⋅ Mengdie Wang ⋅ Hyunji Park ⋅ Rahul Ghosh ⋅ Sungmin Hong ⋅ Jae Oh Woo
6:50 AM
Keynote Talk 1
Mengyue Yang
7:50 AM
Actor-Curator: Co-adaptive curricula via policy-improvement bandits for post-training
Zhengyao Gu ⋅ Jonathan Li ⋅ Raul Astudillo ⋅ Ziyu Ye ⋅ Langzhou He ⋅ Wei Cheng ⋅ Santiago Paternain ⋅ Philip Yu ⋅ Yisong Yue
8:10 AM
Learning Reasoning Reward Models from Expert Demonstration via Inverse Reinforcement Learning
Claudio Fanconi ⋅ Nicolás Astorga ⋅ Mihaela van der Schaar
8:30 AM
Lunch Break
9:45 AM
RAG over Tables: Hierarchical Memory Index, Multi-Stage Retrieval, and Benchmarking
Jiaru Zou ⋅ Dongqi Fu ⋅ Sirui Chen ⋅ Xinrui He ⋅ Zihao Li ⋅ Yada Zhu ⋅ Jiawei Han ⋅ Jingrui He
10:05 AM
Keynote Talk 2
Carlos Areces
10:45 AM
Break
11:15 AM
From Natural Language to Exact Cover: A Neuro-Symbolic Approach to Zebra Puzzles
Paulius Skaisgiris ⋅ Thomas Pammer ⋅ Veronika Semmelrock ⋅ Mykyta Ielanskyi ⋅ Maximilian Levi Heisinger ⋅ Erich Kobler
11:35 AM
Revisiting Causal Reasoning in Language Models through Controlled Synthetic Worlds
Abhirath Sangala ⋅ Vineeth Balasubramanian ⋅ Amit Sharma
11:55 AM
Poster Session 2
12:35 PM
Logical Reasoning Evaluation and Social Bias
Sofia Martinelli ⋅ Guido Ivetta ⋅ Luciana Benotti
12:55 PM
Closing Remarks
Grounding the "Not": Symbolic Representation of Negation for Logical Reasoning in VLMs
Inha Kang ⋅ Seonho Lee ⋅ Jiho Choi ⋅ Junsuk Choe ⋅ Hyunjung Shim
From Growing to Looping: A Unified View of Iterative Computation in LLMs
Ferdinand Kapl ⋅ Emmanouil Angelis ⋅ Kaitlin Maile ⋅ Johannes von Oswald ⋅ Stefan Bauer
Pruning via Causal Attribution Preserves Reasoning in Large Language Models
Amogh Sheth ⋅ Andrew Lin ⋅ Yi Wen Huang ⋅ Biruk Assefa ⋅ Yuhao Ge
Improving Reachability on Reasoning Puzzles
Sukruta Midigeshi ⋅ Sai Nalli ⋅ Utkarsh Tiwari ⋅ Amit Jayant Deshpande ⋅ Nagarajan Natarajan ⋅ Vineeth Balasubramanian ⋅ Amit Sharma ⋅ Gaurav Sinha
ProcessThinker: Enhancing Multi-modal Large Language Models Reasoning via Rollout-based Process Reward
Jingpei Wu ⋅ Xiao Han ⋅ Weixiang Shen ⋅ Boer Zhang ⋅ Zifeng Ding ⋅ Volker Tresp
Agentic Proving for Program Verification
Alessandro Sosso ⋅ Akhil Arora ⋅ Bas Spitters
Enhancing LLMs in Legal Judgment Prediction via Neuro-Symbolic Reasoning
Zhaozuo Liu ⋅ zhengnan li ⋅ Fengxiang Cheng ⋅ Fenrong Liu
Rethinking LLM Judges: Chain-of-Thought and Multi-Step Pipelines for Math Grading
Eric Chen ⋅ Aryan Gulati ⋅ Brando Miranda ⋅ Zeyu Tang ⋅ Sanmi Koyejo
Spectral Attention Steering for Prompt Highlighting
Waylon Li ⋅ Yuchen Niu ⋅ Yongxin Yang ⋅ Keshuang Li ⋅ Tiejun Ma ⋅ Shay B Cohen
Quantifying Cross-Query Contradictions in Multi-Query LLM Reasoning
Rohit Kumar Salla ⋅ Ramya Amancherla ⋅ Manoj Saravanan
Chain-of-Thought Injection as an Inference-Time Safety Intervention
Lindsay Smith ⋅ Ananya Malik ⋅ Edward Young ⋅ Puria Radmard ⋅ Cameron Tice ⋅ Hannes Whittingham
Interpreting Chain-of-thought Reasoning via Partial Information Decomposition
Barproda Halder ⋅ Qiuyi (Richard) Zhang ⋅ Sanghamitra Dutta
CFLBENCH: BENCHMARKING NOVEL CONTROL FLOW LANGUAGE LEARNING
Aaroosh Rustagi ⋅ Jounghyuck Sohn ⋅ Thomas Peng ⋅ Mykaala Firdaus ⋅ Huanzhi Mao
Constrained Wikigame: Benchmarking Deductive Reasoning for Multi-Step Planning
Rafael Mosquera-Gómez ⋅ Juan Rodriguez ⋅ Martin Velez ⋅ Ivan de Sousa ⋅ Juan Jaramillo
OmniEAR: Benchmarking Agent Reasoning in Embodied Tasks
Zixuan Wang ⋅ Dingming Li ⋅ Hongxing Li ⋅ Yuchen Yan ⋅ Shuo Chen ⋅ Zhipiao Liu ⋅ Hongwei Yang ⋅ XIE GUOQING ⋅ Wenqi Zhang ⋅ Yongliang Shen ⋅ Weiming Lu ⋅ Jun Xiao ⋅ Yueting Zhuang
M3Kang: Evaluating Multilingual Multimodal Mathematical Reasoning in Vision-Language Models
Aleix Torres i Camps ⋅ Nathaniel Mitrani ⋅ Victor Vendrell ⋅ Àlex Casellas ⋅ Arnau Padres Masdemont ⋅ Jordi Ros-Giralt
R1-Code-Interpreter: LLMs Reason with Code via Supervised and Multi-stage Reinforcement Learning
Yongchao Chen ⋅ Yueying Liu ⋅ Junwei Zhou ⋅ Yilun Hao ⋅ Jingquan Wang ⋅ Yang Zhang ⋅ Na Li ⋅ Chuchu Fan
Large Language Models Generate Harmful Content Using a Unified Mechanism
Hadas Orgad ⋅ Boyi Wei ⋅ Kaden Zheng ⋅ Martin Wattenberg ⋅ Peter Henderson ⋅ Seraphina Goldfarb-Tarrant ⋅ Yonatan Belinkov
LaPep: Can Language Contribute to Property-Guided Peptide Design?
Kimberly Liang ⋅ Tong Chen ⋅ Pranam Chatterjee
TopoBench: Benchmarking LLMs on hard topological reasoning
Mayug Maniparambil ⋅ Nils Hoehing ⋅ Janak Kapuriya ⋅ Arjun Karuvally ⋅ Ellen Rushe ⋅ Anthony Ventresque ⋅ Noel O'Connor ⋅ Fergal Reid
interwhen: A Generalizable Framework for Verifiable Reasoning with Test-time Monitors
Vishak K Bhat ⋅ Prateek Chanda ⋅ Ashmit Khandelwal ⋅ Maitreyi Swaroop ⋅ Subbarao Kambhampati ⋅ Vineeth Balasubramanian ⋅ Nagarajan Natarajan ⋅ Amit Sharma
STRuCT-LLM: Unifying Tabular and Graph Reasoning with Reinforcement Learning for Semantic Parsing
Josefa Stoisser ⋅ Marc Boubnovski Martell ⋅ Lawrence Phillips ⋅ Casper Hansen ⋅ Julien Fauqueur
Linear Mechanisms of Spatiotemporal Reasoning in Vision Language Models
Raphaela Kang ⋅ Hongqiao Chen ⋅ Georgia Gkioxari ⋅ Pietro Perona
Enhancing Code LLMs with Reinforcement Learning in Code Generation: A Survey
Junqiao Wang ⋅ Zeng Zhang ⋅ Yangfan He ⋅ Zihao Zhang ⋅ Xinyuan Song ⋅ Yuyang Song ⋅ TIANYU SHI ⋅ Yuchen Li ⋅ Hengyuan Xu ⋅ Kunyu Wu ⋅ Yi Xin ⋅ Zhongwei Wan ⋅ Xinhang Yuan ⋅ Zijun Wang ⋅ Kuan Lu ⋅ Menghao Huo ⋅ Jingqun Tang ⋅ Guangwu Qian ⋅ Keqin Li ⋅ Qiuwu Chen ⋅ Lewei He
Characterizing Backtracking in CoT through Internal Probes and Surface-Level Features
Adiba Ejaz ⋅ Aditya Gupta ⋅ Arthur Pogosian ⋅ Peter Hase
POSITION: THE REASONING TRAP — LOGICAL REASONING AS A MECHANISTIC PATHWAY TO SITUATIONAL AWARENESS
Subramanyam Sahoo ⋅ Aman Chadha ⋅ Vinija Jain ⋅ Divya Chaudhary
AI-BAAM: AI-Driven Bank Statement Analytics as Alternative Data for Malaysian MSME Credit Scoring
Chun Chet Ng ⋅ Zhen Hao Chu ⋅ Jia Yu Lim ⋅ Boon Yin ⋅ Low Zeng ⋅ Jin Tan
Out-of-Distribution Study of Rule-Based and Strategic Reasoning in Chess Transformers
Anna Mészáros ⋅ Patrik Reizinger ⋅ Ferenc Huszar
AtManRL: Towards Faithful Reasoning via Differentiable Attention Saliency
Max Höth ⋅ Kristian Kersting ⋅ Björn Deiseroth ⋅ Letitia Parcalabescu
On the "Induction Bias" in Sequence Models
MohammadReza Ebrahimi ⋅ Michaël Defferrard ⋅ Sunny Panchal ⋅ Roland Memisevic
GIFT: Guided Importance-Aware Fine-Tuning for Diffusion Language Models
Guowei Xu ⋅ Wenxin Xu ⋅ Zhao Jiawang ⋅ Kaisheng Ma
From Facts to Conclusions : Integrating Deductive Reasoning in Retrieval-Augmented LLMs
Shubham Mishra ⋅ Shiv Tiwari ⋅ Samyek Jain ⋅ Gorang Mehrishi ⋅ Dhruv Kumar ⋅ Pratik Narang ⋅ Harsh Sharma
Surrogate Signals from Format and Length: Reinforcement Learning for Solving Mathematical Problems without Ground Truth Answers
xin rihui ⋅ Han Liu ⋅ Zecheng Wang ⋅ Yupeng Zhang ⋅ Dianbo Sui ⋅ Xiaolin Hu ⋅ Bingning Wang
Reasoning Under Constraint: How Batch Prompting Suppresses Overthinking in Reasoning Models
Saurabh Srivastava ⋅ Janit Bidhan ⋅ Hao Yan ⋅ Abhishek Dey ⋅ Tanu Kansal ⋅ Paras Kath ⋅ Sina Mansouri ⋅ Mohit Marvania ⋅ Vamsi Simhadri ⋅ Gaurav Singh
LLM Routing as Reasoning: A MaxSAT View
Son Nguyen ⋅ Xinyuan Liu ⋅ Ransalu Senanayake
LLM-as-a-Prophet: Understanding AI's Predictive Intelligence with Prophet Arena
Qingchuan Yang ⋅ Simon Mahns ⋅ Sida Li ⋅ Anri Gu ⋅ Jibang Wu ⋅ Haifeng Xu
SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
Yanxiao Zhao ⋅ Yaqian Li ⋅ Zi-Hao Bo ⋅ Rinyoichi Takezoe ⋅ Haojia Hui ⋅ Mo Guang ⋅ Lei Ren ⋅ Xiaolin Qin ⋅ Kaiwen Long
Mathematical Reasoning for Unmanned Aerial Vehicles: A RAG-Based Approach for Complex Arithmetic Reasoning
Mehdi Azarafza ⋅ Mojtaba Nayyeri ⋅ Faezeh Pasandideh ⋅ Steffen Staab ⋅ Achim Rettberg
MTIR-SQL: Multi-turn Tool-Integrated Reasoning Reinforcement Learning for Text-to-SQL
Zekun Xu ⋅ Siyu Xia ⋅ Chuhuai Yue ⋅ Jiajun Chai ⋅ Mingxue Tian ⋅ Xiaohan Wang ⋅ Wei Lin ⋅ Haoxuan Li ⋅ Guojun Yin
GRPO-VPS: Enhancing Group Relative Policy Optimization with Verifiable Process Supervision for Effective Reasoning
JINGYI WANG ⋅ Lei Zhu ⋅ Tengjin Weng ⋅ Wu ⋅ Haochen Tan ⋅ Jierun Chen ⋅ Chaofan Tao ⋅ Haoli Bai ⋅ LU HOU ⋅ Lifeng Shang ⋅ Xiao-Ping Zhang
Better Think Thrice: Learning to Reason Causally with Double Counterfactual Consistency
Victoria Lin ⋅ Xinnuo Xu ⋅ Rachel Lawrence ⋅ Risa Ueno ⋅ Amit Sharma ⋅ Javier Gonzalez ⋅ Niranjani Prasad
Small LLMs with Expert Blocks Are Good Enough for Hyperparamter Tuning
Om Naphade ⋅ Saksham Bansal ⋅ Parikshit Pareek
The Capability Frontier: Benchmarks Miss 82% of Model Performance
Bradley Fowler ⋅ Ryan Smith ⋅ Daniel Graviet ⋅ William Myers ⋅ Joshua Greaves ⋅ Narmeen Oozeer ⋅ Antía García ⋅ Philip Quirke ⋅ Fazl Barez ⋅ Shriyash Upadhyay
Emergent Reasoning via Recursive Latent Reinforcement Pretraining
Gopeshh Raaj Subbaraj ⋅ Istabrak Abbes ⋅ Artem Zholus ⋅ Matt Riemer ⋅ Irina Rish ⋅ Sarath Chandar
VariantBench: Benchmarking Language Models on Scientific Reasoning Across the Pharmacogenomic Evidence Pipeline
Shlok Natarajan ⋅ Andrew Lanpouthakoun ⋅ Etash Guha ⋅ Aaron Fanous ⋅ Roxana Daneshjou
When “Just Read the Chain of Thought” Fails: Five Tasks for Stress-Testing CoT Monitors
Daria Ivanova ⋅ Riya Tyagi ⋅ Josh Engels ⋅ Neel Nanda
Do Transformers Use Their Depth Adaptively? Evidence from a Relational Reasoning Task
Alicia Curth ⋅ Rachel Lawrence ⋅ Sushrut Karmalkar ⋅ Niranjani Prasad
LogicReward: Incentivizing LLM Reasoning via Step-Wise Logical Supervision
Jundong Xu ⋅ Hao (Scofield) Fei ⋅ Huichi Zhou ⋅ Xin Quan ⋅ Qijun Huang ⋅ Shengqiong Wu ⋅ William Wang ⋅ Mong-Li Lee ⋅ Wynne Hsu
The Yes-Bias in LLM Reasoning
Mark Obozov ⋅ Egor Salygin ⋅ Peter Losev ⋅ Artem Alekseev ⋅ Nikolay Bushkov ⋅ Stanislav Moiseev
Do Depth-Grown Models Overcome the Curse of Depth? An In-Depth Analysis
Ferdinand Kapl ⋅ Emmanouil Angelis ⋅ Tobias Höppe ⋅ Kaitlin Maile ⋅ Johannes von Oswald ⋅ Nino Scherrer ⋅ Stefan Bauer
Embedding Distance as a Reward Signal can replace Verifiers for LLM Reasoning
Abdelhakim Benechehab ⋅ Youssef Attia El Hili ⋅ Albert Thomas ⋅ Giuseppe Paolo ⋅ Maurizio Filippone
Semantic Search over 9 Million Mathematical Theorems
Luke Alexander ⋅ Eric Leonen ⋅ Sophie Szeto ⋅ Artemii Remizov ⋅ Ignacio Tejeda ⋅ Giovanni Inchiostro ⋅ Vasily Ilin ⋅ Jarod Alper
Reasoning Structure of Large Language Models
Frédéric Berdoz ⋅ Luca Lanzendörfer ⋅ Fabian Farestam ⋅ Roger Wattenhofer
SELF-AWARE MARKOV MODELS FOR DISCRETE REASONING
Gregor Kornhardt ⋅ Jannis Chemseddine ⋅ Christian Wald ⋅ Gabriele Steidl
Finny: A Multi-Agent System for Structured Decision-Making with LLMs
Harshitha Ravindra ⋅ Utkarsh Bajaj ⋅ Madhur Mehta
The Language Of Bargaining: Linguistic Effects In LLM Negotiations
Stuti Sinha ⋅ Himanshu Kumar ⋅ Aryan Mandapati ⋅ Rakshit Sakhuja ⋅ Dhruv Kumar
Distilling SMT Solver Reasoning into Compact Language Models
Emre Kıyak ⋅ Cagatay Cingoz ⋅ Hakan Çapuk ⋅ Aykut Erdem
An Informal Logic LLM-Based Argumentation Framework
Paulo Pirozelli ⋅ Douglas Aldred ⋅ Victor Rocha ⋅ Fabio Cozman
Your Model Diversity, Not Method, Determines Reasoning Strategy
Moulik Choraria ⋅ Argyrios Gerogiannis ⋅ Anirban Das ⋅ Supriyo Chakraborty ⋅ Berkcan Kapusuzoglu ⋅ Chia-Hsuan Lee ⋅ Kartik Balasubramaniam ⋅ Shi-Xiong Zhang ⋅ Sambit Sahu
PAVE: Premise-Aware Validation and Editing for Retrieval-Augmented LLMs
Tianyi Huang ⋅ Caden Yang ⋅ Emily Yin ⋅ Eric Wang ⋅ Michael Zhang
Benchmark for Assessing Olfactory Perception of Large Language Models
Eftychia Makri ⋅ Nikolaos Nakis ⋅ Laura Sisson ⋅ Leandros Tassiulas ⋅ Vahid Satarifard ⋅ Nicholas Christakis
CROP: Token-Efficient Reasoning in Large Language Models via Regularized Prompt Optimization
Deep Shah ⋅ Sanket Badhe ⋅ Nehal Kathrotia ⋅ Priyanka Tiwari
AVSAD: Automating Vector Symbolic Architecture Discovery with Iterative Evolution
Deja Scott ⋅ Dmitry Zubarev ⋅ Massimiliano Esposito ⋅ Avraham Shinnar ⋅ Abbas Rahimi ⋅ Kenneth Clarkson ⋅ Lior Horesh ⋅ Michael Hersche ⋅ Shashanka Ubaru
Recurrent Reasoning on Symbolic Puzzles with Sequence Models
Gowrav Mannem ⋅ Chowdhury Mahjabin ⋅ Jason Chen ⋅ Shivank Garg ⋅ Kevin Zhu
MUX: Continuous Reasoning via Multiplexed Tokens
Ayhan Suleymanzade ⋅ Alperen Gozeten ⋅ Ismail I Ceylan ⋅ Jinwoo Kim
ContraPrompt: Contrastive Prompt Optimization via Dyadic Reasoning Trace Analysis
Rishav Rishav ⋅ Pushpak Pujari ⋅ Pushpendre Rastogi
Confidence-Gated RAG for Adaptive Retrieval in Sequential Agents
Srikanth Devarakonda ⋅ RAJESH LINGAM ⋅ Vagdevi Challa
Rethinking LLMs as Verifiers: When Verification is Harder Than Solving
Varul Srivastava ⋅ Sankarshan Damle ⋅ Manisha Padala
LLMs Gaming Verifiers: RLVR can Lead to Reward Hacking
Lukas Helff ⋅ Quentin Delfosse ⋅ David Steinmann ⋅ Ruben Härle ⋅ Hikaru Shindo ⋅ Patrick Schramowski ⋅ Wolfgang Stammer ⋅ Kristian Kersting ⋅ Felix Friedrich
The First Tokens Matter: Early Confidence Signals for Evaluating LLM Reasoning
Ali Keramati ⋅ Justin Cheok ⋅ Jacob Horne ⋅ Mark Warschauer
DECODING LOGICAL NEGATION IN LARGE LANGUAGE MODELS: FROM STATISTICAL HEURISTICS TO CAUSAL SEMANTIC CIRCUITS
Umair Tariq ⋅ Brian Cong ⋅ Archish Prakhya ⋅ Tinuade Adeleke ⋅ Sean Wu ⋅ Ruizhe Li
Think Less, Code Better: Probing When Chain-of-Thought Hurts and How to Route Around It
Rajarshi Ghoshal ⋅ Salma Abdelhalim ⋅ Debadri Basak ⋅ Pratibha arora
Quantifying Consistency in LLM Logical Reasoning via Structural Uncertainty
Baishali Chaudhury ⋅ Mengdie Wang ⋅ Hyunji Park ⋅ Rahul Ghosh ⋅ Sungmin Hong ⋅ Jae Oh Woo
RAG over Tables: Hierarchical Memory Index, Multi-Stage Retrieval, and Benchmarking
Jiaru Zou ⋅ Dongqi Fu ⋅ Sirui Chen ⋅ Xinrui He ⋅ Zihao Li ⋅ Yada Zhu ⋅ Jiawei Han ⋅ Jingrui He
From Natural Language to Exact Cover: A Neuro-Symbolic Approach to Zebra Puzzles
Paulius Skaisgiris ⋅ Thomas Pammer ⋅ Veronika Semmelrock ⋅ Mykyta Ielanskyi ⋅ Maximilian Levi Heisinger ⋅ Erich Kobler
Learning Reasoning Reward Models from Expert Demonstration via Inverse Reinforcement Learning
Claudio Fanconi ⋅ Nicolás Astorga ⋅ Mihaela van der Schaar
Logical Reasoning Evaluation and Social Bias
Sofia Martinelli ⋅ Guido Ivetta ⋅ Luciana Benotti
Revisiting Causal Reasoning in Language Models through Controlled Synthetic Worlds
Abhirath Sangala ⋅ Vineeth Balasubramanian ⋅ Amit Sharma
Actor-Curator: Co-adaptive curricula via policy-improvement bandits for post-training
Zhengyao Gu ⋅ Jonathan Li ⋅ Raul Astudillo ⋅ Ziyu Ye ⋅ Langzhou He ⋅ Wei Cheng ⋅ Santiago Paternain ⋅ Philip Yu ⋅ Yisong Yue