firstbacksecondback
102 Results
|
Poster
|
Wed 14:00 |
Deep Attentive Belief Propagation: Integrating Reasoning and Learning for Solving Constraint Optimization Problems Yanchen Deng · Shufeng Kong · Caihua Liu · Bo An |
|
|
Poster
|
Tue 14:00 |
On Computing Probabilistic Explanations for Decision Trees Marcelo Arenas · Pablo Barceló · Miguel Romero Orth · Bernardo Subercaseaux |
|
|
Poster
|
Wed 9:00 |
Towards Reasonable Budget Allocation in Untargeted Graph Structure Attacks via Gradient Debias Zihan Liu · Yun Luo · Lirong Wu · Zicheng Liu · Stan Z. Li |
|
|
Poster
|
Wed 14:00 |
Neural Set Function Extensions: Learning with Discrete Functions in High Dimensions Nikolaos Karalias · Joshua Robinson · Andreas Loukas · Stefanie Jegelka |
|
|
Poster
|
Wed 9:00 |
STaR: Bootstrapping Reasoning With Reasoning Eric Zelikman · Yuhuai Wu · Jesse Mu · Noah Goodman |
|
|
Poster
|
Thu 14:00 |
The Unreliability of Explanations in Few-shot Prompting for Textual Reasoning Xi Ye · Greg Durrett |
|
|
Poster
|
Thu 9:00 |
Generalizing Goal-Conditioned Reinforcement Learning with Variational Causal Reasoning Wenhao Ding · Haohong Lin · Bo Li · DING ZHAO |
|
|
Poster
|
Thu 9:00 |
Pragmatically Learning from Pedagogical Demonstrations in Multi-Goal Environments Hugo Caselles-Dupré · Olivier Sigaud · Mohamed CHETOUANI |
|
|
Poster
|
Thu 14:00 |
Recursive Reasoning in Minimax Games: A Level k Gradient Play Method Zichu Liu · Lacra Pavel |
|
|
Poster
|
Wed 9:00 |
HyperTree Proof Search for Neural Theorem Proving Guillaume Lample · Timothee Lacroix · Marie-Anne Lachaux · Aurelien Rodriguez · Amaury Hayat · Thibaut Lavril · Gabriel Ebner · Xavier Martinet |
|
|
Expo Demonstration
|
Mon 8:00 |
Human Modeling and Strategic Reasoning in the Game of Diplomacy Noam Brown · Alexander Miller · Gabriele Farina |
|
|
Poster
|
Tue 9:00 |
NaturalProver: Grounded Mathematical Proof Generation with Language Models Sean Welleck · Jiacheng Liu · Ximing Lu · Hannaneh Hajishirzi · Yejin Choi |