Skip to yearly menu bar Skip to main content


Search All 2024 Events
 

29 Results

<<   <   Page 2 of 3   >   >>
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