firstbacksecondback
29 Results
Poster
|
Fri 11:00 |
STL: Still Tricky Logic (for System Validation, Even When Showing Your Work) Isabelle Hurley · Rohan Paleja · Ashley Suh · Jaime D Pena · Ho Chit Siu |
|
Poster
|
Thu 16:30 |
Enriching Disentanglement: From Logical Definitions to Quantitative Metrics Yivan Zhang · Masashi Sugiyama |
|
Poster
|
Thu 11:00 |
A Foundation Model for Zero-shot Logical Query Reasoning Michael Galkin · Jincheng Zhou · Bruno Ribeiro · Jian Tang · Zhaocheng Zhu |
|
Poster
|
Thu 11:00 |
BOLD: Boolean Logic Deep Learning Van Minh NGUYEN · Cristian Ocampo-Blandon · Aymen Askri · Louis Leconte · Ba-Hien Tran |
|
Poster
|
Wed 16:30 |
Adaptable Logical Control for Large Language Models Honghua Zhang · Po-Nien Kung · Masahiro Yoshida · Guy Van den Broeck · Nanyun Peng |
|
Workshop
|
Logically Consistent Language Models via Neuro-Symbolic Integration Diego Calanzone · Stefano Teso · Antonio Vergari |
||
Workshop
|
Declarative characterizations of direct preference alignment algorithms Kyle Richardson · Vivek Srikumar · Ashish Sabharwal |
||
Workshop
|
On Memorization of Large Language Models in Logical Reasoning Chulin Xie · Yangsibo Huang · Chiyuan Zhang · Da Yu · Xinyun Chen · Bill Yuchen Lin · Bo Li · Badih Ghazi · Ravi Kumar |
||
Workshop
|
Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference Anton Xue · Avishree Khare · Rajeev Alur · Surbhi Goel · Eric Wong |
||
Workshop
|
Equitable Access to Justice: Logical LLMs Show Promise Manuj Kant · Marzieh Nabi · Manav Kant · Preston Carlson · Megan Ma |
||
Workshop
|
WILT: A Multi-turn, Memorization-Robust Inductive Logic Benchmark for LLMs Eryk Banatt · Jonathan Cheng · Tiffany Hwu |
||
Workshop
|
Provocation: Who benefits from “inclusion” in Generative AI? Samantha Dalal · Siobhan Mackenzie Hall · Nari Johnson |