Ronan Le Bras

Gunhee Kim

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

Modular Transformers: Compressing Transformers into Modularized Layers for Flexible Efficient Inference.

[BibT_eX]

[DOI]

Wangchunshu Zhou

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

Commonsense Knowledge Transfer for Pre-trained Language Models.

[BibT_eX]

[DOI]

Wangchunshu Zhou

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

NLPositionality: Characterizing Design Biases of Datasets and Models.

[BibT_eX]

[DOI]

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

From Dogwhistles to Bullhorns: Unveiling Coded Rhetoric with Language Models.

[BibT_eX]

[DOI]

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

I2D2: Inductive Knowledge Distillation with NeuroLogic and Self-Imitation.

[BibT_eX]

[DOI]

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

2022

SODA: Million-scale Dialogue Distillation with Social Commonsense Contextualization.

[BibT_eX]

[DOI]

CoRR, 2022

I2D2: Inductive Knowledge Distillation with NeuroLogic and Self-Imitation.

[BibT_eX]

[DOI]

CoRR, 2022

Multimodal Knowledge Alignment with Reinforcement Learning.

[BibT_eX]

[DOI]

Prithviraj Ammanabrolu

CoRR, 2022

Beam Decoding with Controlled Patience.

[BibT_eX]

[DOI]

CoRR, 2022

Symbolic Knowledge Distillation: from General Language Models to Commonsense Models.

[BibT_eX]

[DOI]

Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2022

NeuroLogic A*esque Decoding: Constrained Text Generation with Lookahead Heuristics.

[BibT_eX]

[DOI]

Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2022

Transparent Human Evaluation for Image Captioning.

[BibT_eX]

[DOI]

Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2022

Bidimensional Leaderboards: Generate and Evaluate Language Hand in Hand.

[BibT_eX]

[DOI]

Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2022

Neural Theory-of-Mind? On the Limits of Social Intelligence in Large LMs.

[BibT_eX]

[DOI]

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

Twist Decoding: Diverse Generators Guide Each Other.

[BibT_eX]

[DOI]

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanations.

[BibT_eX]

[DOI]

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

Generated Knowledge Prompting for Commonsense Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2022

2021

Delphi: Towards Machine Ethics and Norms.

[BibT_eX]

[DOI]

CoRR, 2021

proScript: Partially Ordered Scripts Generation via Pre-trained Language Models.

[BibT_eX]

[DOI]

CoRR, 2021

Understanding Few-Shot Commonsense Knowledge Models.

[BibT_eX]

[DOI]

CoRR, 2021

WinoGrande: an adversarial winograd schema challenge at scale.

[BibT_eX]

[DOI]

Commun. ACM, 2021

NaturalProofs: Mathematical Theorem Proving in Natural Language.

[BibT_eX]

[DOI]

Proceedings of the Neural Information Processing Systems Track on Datasets and Benchmarks 1, 2021

CommonsenseQA 2.0: Exposing the Limits of AI through Gamification.

[BibT_eX]

[DOI]

Proceedings of the Neural Information Processing Systems Track on Datasets and Benchmarks 1, 2021

NeuroLogic Decoding: (Un)supervised Neural Text Generation with Predicate Logic Constraints.

[BibT_eX]

[DOI]

Proceedings of the 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2021

proScript: Partially Ordered Scripts Generation.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2021, 2021

CLIPScore: A Reference-free Evaluation Metric for Image Captioning.

[BibT_eX]

[DOI]

Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, 2021

Moral Stories: Situated Reasoning about Norms, Intents, Actions, and their Consequences.

[BibT_eX]

[DOI]

Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, 2021

Analyzing Commonsense Emergence in Few-shot Knowledge Models.

[BibT_eX]

[DOI]

Proceedings of the 3rd Conference on Automated Knowledge Base Construction, 2021

SCRUPLES: A Corpus of Community Ethical Judgments on 32, 000 Real-Life Anecdotes.

[BibT_eX]

[DOI]

Nicholas Lourie

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

UNICORN on RAINBOW: A Universal Commonsense Reasoning Model on a New Multitask Benchmark.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

(Comet-) Atomic 2020: On Symbolic and Neural Commonsense Knowledge Graphs.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Paragraph-level Commonsense Transformers with Recurrent Memory.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Dynamic Neuro-Symbolic Knowledge Graph Construction for Zero-shot Commonsense Question Answering.

[BibT_eX]

[DOI]

Antoine Bosselut

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Adversarial Filters of Dataset Biases.

[BibT_eX]

[DOI]

Proceedings of the 37th International Conference on Machine Learning, 2020

Abductive Commonsense Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Learning Representations, 2020

G-DAug: Generative Data Augmentation for Commonsense Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2020, 2020

Unsupervised Commonsense Question Answering with Self-Talk.

[BibT_eX]

[DOI]

Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, 2020

Thinking Like a Skeptic: Defeasible Inference in Natural Language.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2020, 2020

Back to the Future: Unsupervised Backprop-based Decoding for Counterfactual and Abductive Commonsense Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, 2020

Natural Language Rationales with Full-Stack Visual Reasoning: From Pixels to Semantic Frames to Commonsense Graphs.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2020, 2020

PIQA: Reasoning about Physical Commonsense in Natural Language.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

SocialIQA: Commonsense Reasoning about Social Interactions.

[BibT_eX]

[DOI]

CoRR, 2019

SemEval-2019 Task 10: Math Question Answering.

[BibT_eX]

[DOI]

Mark Hopkins

Cristian Petrescu-Prahova

Gabriel Stanovsky

Hannaneh Hajishirzi

Rik Koncel-Kedziorski

Proceedings of the 13th International Workshop on Semantic Evaluation, 2019

Social IQa: Commonsense Reasoning about Social Interactions.

[BibT_eX]

[DOI]

Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing, 2019

Cosmos QA: Machine Reading Comprehension with Contextual Commonsense Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing, 2019

ATOMIC: An Atlas of Machine Commonsense for If-Then Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Phase Mapper: Accelerating Materials Discovery with AI.

[BibT_eX]

[DOI]

Robert Bruce van Dover

John M. Gregoire

Cristian Petrescu-Prahova

AI Mag., 2018

2017

Beyond Sentential Semantic Parsing: Tackling the Math SAT with a Cascade of Tree Transducers.

[BibT_eX]

[DOI]

Mark Hopkins

Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, 2017

In Search of Balance: The Challenge of Generating Balanced Latin Rectangles.

[BibT_eX]

[DOI]

Mateo Díaz

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

Phase-Mapper: An AI Platform to Accelerate High Throughput Materials Discovery.

[BibT_eX]

[DOI]

Robert Bruce van Dover

John M. Gregoire

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Leveraging Human Insights Into Problem Structure for Scientific Discovery.

[BibT_eX]

PhD thesis, 2016

Variable Elimination in the Fourier Domain.

[BibT_eX]

[DOI]

Proceedings of the 33nd International Conference on Machine Learning, 2016

2015

Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery.

[BibT_eX]

[DOI]

Robert Bruce van Dover

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

A Human Computation Framework for Boosting Combinatorial Solvers.

[BibT_eX]

[DOI]

Proceedings of the Seconf AAAI Conference on Human Computation and Crowdsourcing, 2014

On the Erdős Discrepancy Problem.

[BibT_eX]

[DOI]

Bart Selman

Proceedings of the Principles and Practice of Constraint Programming, 2014

Challenges in Materials Discovery - Synthetic Generator and Real Datasets.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

Double-Wheel Graphs Are Graceful.

[BibT_eX]

[DOI]

Ronan LeBras

Bart Selman

Proceedings of the IJCAI 2013, 2013

Crowdsourcing Backdoor Identification for Combinatorial Optimization.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Large Landscape Conservation - Synthetic and Real-World Datasets.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

Robust Network Design For Multispecies Conservation.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

ClouDiA: A Deployment Advisor for Public Clouds.

[BibT_eX]

[DOI]

Tao Zou

Marcos Antonio Vaz Salles

Alan J. Demers

Johannes Gehrke

Proc. VLDB Endow., 2012

SMT-Aided Combinatorial Materials Discovery.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

From Streamlined Combinatorial Search to Efficient Constructive Procedures.

[BibT_eX]

[DOI]

Ronan LeBras