Reasoning

NaturalProver: Grounded Mathematical Proof Generation with Language Models NeurIPS 2022 Near Instance Optimal Model Selection for Pure Exploration Linear Bandits AISTATS 2022 Neural Abstractions NeurIPS 2022 Neural Machine Translation for Fact-checking Temporal Claims ACL 2022 Neural Theory-of-Mind? On the Limits of Social Intelligence in Large LMs EMNLP 2022 Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks AAAI 2022 Neuro-Symbolic Visual Dialog COLING 2022 Noun-MWP: Math Word Problems Meet Noun Answers COLING 2022 Numerical Correlation in Text EMNLP 2022 NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks ACL 2022 Object-Relation Reasoning Graph for Action Recognition CVPR 2022 On Preferences and Priority Rules in Abstract Argumentation IJCAI 2022 On the Learning Mechanisms in Physical Reasoning NeurIPS 2022 Opening up Minds with Argumentative Dialogues EMNLP 2022 OPERA: Operation-Pivoted Discrete Reasoning over Text NAACL 2022 PaCo: Preconditions Attributed to Commonsense Knowledge EMNLP 2022 Phase transitions in when feedback is useful NeurIPS 2022 PInKS: Preconditioned Commonsense Inference with Minimal Supervision AACL 2022 Planning with Biological Neurons and Synapses AAAI 2022 Policy Gradient With Serial Markov Chain Reasoning NeurIPS 2022 Possible Stories: Evaluating Situated Commonsense Reasoning under Multiple Possible Scenarios COLING 2022 PPL-MCTS: Constrained Textual Generation Through Discriminator-Guided MCTS Decoding NAACL 2022 Practice Makes a Solver Perfect: Data Augmentation for Math Word Problem Solvers NAACL 2022 Premise-based Multimodal Reasoning: Conditional Inference on Joint Textual and Visual Clues ACL 2022 Procedural Text Understanding via Scene-Wise Evolution AAAI 2022