firstbacksecondback
29 Results
|
Workshop
|
PolicyLR: An LLM compiler for Logic-based Representation for Privacy Policies Ashish Hooda · Rishabh Khandelwal · Prasad Chalasani · Kassem Fawaz · Somesh Jha |
||
|
Poster
|
Thu 16:30 |
LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation Bowen Li · Zhaoyu Li · Qiwei Du · Jinqi Luo · Wenshan Wang · Yaqi Xie · Simon Stepputtis · Chen Wang · Katia Sycara · Pradeep Ravikumar · Alexander Gray · Xujie Si · Sebastian Scherer |
|
|
Poster
|
Thu 11:00 |
Abductive Reasoning in Logical Credal Networks Radu Marinescu · Junkyu Lee · Debarun Bhattacharjya · Fabio Cozman · Alexander Gray |
|
|
Poster
|
Thu 11:00 |
Causal language modeling can elicit search and reasoning capabilities on logic puzzles Kulin Shah · Nishanth Dikkala · Xin Wang · Rina Panigrahy |
|
|
Poster
|
Fri 11:00 |
Interpret Your Decision: Logical Reasoning Regularization for Generalization in Visual Classification Zhaorui Tan · Xi Yang · Qiufeng Wang · Anh Nguyen · Kaizhu Huang |
|
|
Poster
|
Wed 11:00 |
GraphTrail: Translating GNN Predictions into Human-Interpretable Logical Rules Burouj Armgaan · Manthan Dalmia · Sourav Medya · Sayan Ranu |
|
|
Poster
|
Fri 16:30 |
Towards Next-Generation Logic Synthesis: A Scalable Neural Circuit Generation Framework Zhihai Wang · Jie Wang · Qingyue Yang · Yinqi Bai · Xing Li · Lei Chen · Jianye Hao · Mingxuan Yuan · Bin Li · Yongdong Zhang · Feng Wu |
|
|
Poster
|
Fri 11:00 |
Convolutional Differentiable Logic Gate Networks Felix Petersen · Hilde Kuehne · Christian Borgelt · Julian Welzel · Stefano Ermon |
|
|
Poster
|
Thu 16:30 |
Provably Safe Neural Network Controllers via Differential Dynamic Logic Samuel Teuber · Stefan Mitsch · André Platzer |
|
|
Oral
|
Fri 10:20 |
Convolutional Differentiable Logic Gate Networks Felix Petersen · Hilde Kuehne · Christian Borgelt · Julian Welzel · Stefano Ermon |
|
|
Poster
|
Fri 16:30 |
Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus Terufumi Morishita · Gaku Morio · Atsuki Yamaguchi · Yasuhiro Sogawa |
|
|
Poster
|
Wed 11:00 |
Logical characterizations of recurrent graph neural networks with reals and floats Veeti Ahvonen · Damian Heiman · Antti Kuusisto · Carsten Lutz |