firstbacksecondback
4 Results
|
Workshop
|
SatLM: Satisfiability-Aided Language Models Using Declarative Prompting Xi Ye · Qiaochu Chen · Isil Dillig · Greg Durrett |
||
|
Poster
|
Wed 15:00 |
SatLM: Satisfiability-Aided Language Models Using Declarative Prompting Xi Ye · Qiaochu Chen · Isil Dillig · Greg Durrett |
|
|
Workshop
|
Solving Satisfiability Modulo Counting Problems in Computational Sustainability with Guarantees Jinzhao Li · Nan Jiang · Yexiang Xue |
||
|
Poster
|
Thu 15:00 |
Grounding Neural Inference with Satisfiability Modulo Theories Zifan Wang · Saranya Vijayakumar · Kaiji Lu · Vijay Ganesh · Somesh Jha · Matt Fredrikson |