Timezone: »
Deep learning excels at learning task information from large amounts of data, however, struggles with learning from declarative high-level knowledge that can be more succinctly expressed directly. In this work, we introduce PYLON, a neural-symbolic training framework that builds on PyTorch to augment imperatively trained models with declaratively specified knowledge. PYLON lets users programmatically specify constraints as Python functions and compiles them into a differentiable loss, thus training predictive models that fit the data whilst satisfying the specified constraints. PYLON includes both exact as well as approximate compilers to efficiently compute the loss, employing fuzzy logic, sampling methods,and circuits, ensuring scalability even to complex models and constraints. Crucially, a guiding principle in designing PYLON is the ease with which any existing deep learning codebase can be extended to learn from constraints using only a few lines: a function that expresses the constraint and code to incorporate it as a loss. Our demo comprises of models in NLP, computer vision, logical games, and knowledge graphs that can be interactively trained using constraints as supervision.
Author Information
Kareem Ahmed (UCLA)
Tao Li (University of Utah)
Nu Mai Thy Ton (UC Irvine)
Quan Guo (Michigan State University)
Kai-Wei Chang (University of California, Los Angeles )
Parisa Kordjamshidi (Michigan State University)
Parisa Kordjamshidi is an assistant professor of Computer Science & Engineering at Michigan State University. Her research interests are machine learning, natural language processing, and declarative learning-based programming. She has worked on the extraction of formal semantics and structured representations from natural language. She obtained NSF CAREER award on 2019. She is leading a project supported by Office of Naval research to perform basic research and develop a declarative learning-based programming framework for integration of domain knowledge into statistical/neural learning. She is a member of Editorial board of Journal of Artificial Intelligence Research (JAIR), a member of Editorial Board of Machine Learning and Artificial Intelligence, part of the journal of Frontiers in Artificial Intelligence and Frontiers in Big Data. She has published papers, organized international workshops and served as a (senior) program committee member or area chair of conferences such as IJCAI, AAAI, ACL, EMNLP, COLING, ECAI and a member of organizing committee of EMNLP-2021, ECML-PKDD-2019 and NAACL-2018 conferences.
Vivek Srikumar (University of Utah)
Guy Van den Broeck (UCLA)
I am an Assistant Professor and Samueli Fellow at UCLA, in the Computer Science Department, where I direct the Statistical and Relational Artificial Intelligence (StarAI) lab. My research interests are in Machine Learning (Statistical Relational Learning, Tractable Learning), Knowledge Representation and Reasoning (Graphical Models, Lifted Probabilistic Inference, Knowledge Compilation), Applications of Probabilistic Reasoning and Learning (Probabilistic Programming, Probabilistic Databases), and Artificial Intelligence in general.
Sameer Singh (University of California, Irvine)
Sameer Singh is an Assistant Professor at UC Irvine working on robustness and interpretability of machine learning. Sameer has presented tutorials and invited workshop talks at EMNLP, Neurips, NAACL, WSDM, ICLR, ACL, and AAAI, and received paper awards at KDD 2016, ACL 2018, EMNLP 2019, AKBC 2020, and ACL 2020. Website: http://sameersingh.org/
More from the Same Authors
-
2021 Spotlight: Tractable Regularization of Probabilistic Circuits »
Anji Liu · Guy Van den Broeck -
2021 : Cutting Down on Prompts and Parameters:Simple Few-Shot Learning with Language Models »
Robert Logan · Ivana Balazevic · Eric Wallace · Fabio Petroni · Sameer Singh · Sebastian Riedel -
2022 : Quantifying Social Biases Using Templates is Unreliable »
Preethi Seshadri · Pouya Pezeshkpour · Sameer Singh -
2022 : TalkToModel: Explaining Machine Learning Models with Interactive Natural Language Conversations »
Dylan Slack · Satyapriya Krishna · Himabindu Lakkaraju · Sameer Singh -
2022 : Contributed Talk: TalkToModel: Explaining Machine Learning Models with Interactive Natural Language Conversations »
Dylan Slack · Satyapriya Krishna · Himabindu Lakkaraju · Sameer Singh -
2022 : Panel Discussion: "Heading for a Unifying View on nCSI" »
Tobias Gerstenberg · Sriraam Natarajan · - Mausam · Guy Van den Broeck · Devendra Dhami -
2022 : AI can learn from data. But can it learn to reason? »
Guy Van den Broeck -
2022 : Panel »
Guy Van den Broeck · Cassio de Campos · Denis Maua · Kristian Kersting · Rianne van den Berg -
2022 Poster: Semantic Probabilistic Layers for Neuro-Symbolic Learning »
Kareem Ahmed · Stefano Teso · Kai-Wei Chang · Guy Van den Broeck · Antonio Vergari -
2022 Poster: Sparse Probabilistic Circuits via Pruning and Growing »
Meihua Dang · Anji Liu · Guy Van den Broeck -
2021 Workshop: Advances in Programming Languages and Neurosymbolic Systems (AIPLANS) »
Breandan Considine · Disha Shrivastava · David Yu-Tung Hui · Chin-Wei Huang · Shawn Tan · Xujie Si · Prakash Panangaden · Guy Van den Broeck · Daniel Tarlow -
2021 : AI workloads inside databases »
Guy Van den Broeck · Alexander Ratner · Benjamin Moseley · Konstantinos Karanasos · Parisa Kordjamshidi · Molham Aref · Arun Kumar -
2021 : Cutting Down on Prompts and Parameters:Simple Few-Shot Learning with Language Models »
Robert Logan · Ivana Balazevic · Eric Wallace · Fabio Petroni · Sameer Singh · Sebastian Riedel -
2021 Workshop: Databases and AI (DBAI) »
Nikolaos Vasiloglou · Parisa Kordjamshidi · Zenna Tavares · Maximilian Schleich · Nantia Makrynioti · Kirk Pruhs -
2021 : An Interactive Visual Demo of Bias Mitigation Techniques for Word Representations »
Archit Rathore · Sunipa Dev · Vivek Srikumar · Jeff M Phillips · Yan Zheng · Michael Yeh · Junpeng Wang · Wei Zhang · Bei Wang -
2021 Poster: A Compositional Atlas of Tractable Circuit Operations for Probabilistic Inference »
Antonio Vergari · YooJung Choi · Anji Liu · Stefano Teso · Guy Van den Broeck -
2021 Oral: A Compositional Atlas of Tractable Circuit Operations for Probabilistic Inference »
Antonio Vergari · YooJung Choi · Anji Liu · Stefano Teso · Guy Van den Broeck -
2021 Poster: Tractable Regularization of Probabilistic Circuits »
Anji Liu · Guy Van den Broeck -
2020 : Contributed talks 6: Group Fairness by Probabilistic Modeling with Latent Fair Decisions »
YooJung Choi · Guy Van den Broeck -
2020 Workshop: KR2ML - Knowledge Representation and Reasoning Meets Machine Learning »
Veronika Thost · Kartik Talamadupula · Vivek Srikumar · Chenwei Zhang · Josh Tenenbaum -
2020 Poster: Probabilistic Inference with Algebraic Constraints: Theoretical Limits and Practical Approximations »
Zhe Zeng · Paolo Morettin · Fanqi Yan · Antonio Vergari · Guy Van den Broeck -
2020 Spotlight: Probabilistic Inference with Algebraic Constraints: Theoretical Limits and Practical Approximations »
Zhe Zeng · Paolo Morettin · Fanqi Yan · Antonio Vergari · Guy Van den Broeck -
2020 Tutorial: (Track2) Explaining Machine Learning Predictions: State-of-the-art, Challenges, and Opportunities Q&A »
Himabindu Lakkaraju · Julius Adebayo · Sameer Singh -
2020 Poster: Counterexample-Guided Learning of Monotonic Neural Networks »
Aishwarya Sivaraman · Golnoosh Farnadi · Todd Millstein · Guy Van den Broeck -
2020 Tutorial: (Track2) Explaining Machine Learning Predictions: State-of-the-art, Challenges, and Opportunities »
Himabindu Lakkaraju · Julius Adebayo · Sameer Singh -
2019 : Invited Talk (Guy Van den Broeck) »
Guy Van den Broeck -
2019 : Invited Talk (Vivek Srikumar) »
Vivek Srikumar -
2019 Workshop: KR2ML - Knowledge Representation and Reasoning Meets Machine Learning »
Veronika Thost · Christian Muise · Kartik Talamadupula · Sameer Singh · Christopher RĂ© -
2019 Poster: Towards Hardware-Aware Tractable Learning of Probabilistic Models »
Laura Galindez Olascoaga · Wannes Meert · Nimish Shah · Marian Verhelst · Guy Van den Broeck -
2019 Demonstration: AllenNLP Interpret: Explaining Predictions of NLP Models »
Jens Tuyls · Eric Wallace · Matt Gardner · Junlin Wang · Sameer Singh · Sanjay Subramanian -
2019 Poster: On Tractable Computation of Expected Predictions »
Pasha Khosravi · YooJung Choi · Yitao Liang · Antonio Vergari · Guy Van den Broeck -
2019 Poster: Smoothing Structured Decomposable Circuits »
Andy Shih · Guy Van den Broeck · Paul Beame · Antoine Amarilli -
2019 Spotlight: Smoothing Structured Decomposable Circuits »
Andy Shih · Guy Van den Broeck · Paul Beame · Antoine Amarilli -
2018 Poster: Approximate Knowledge Compilation by Online Collapsed Importance Sampling »
Tal Friedman · Guy Van den Broeck -
2018 Oral: Approximate Knowledge Compilation by Online Collapsed Importance Sampling »
Tal Friedman · Guy Van den Broeck -
2017 Workshop: NIPS Highlights (MLTrain), Learn How to code a paper with state of the art frameworks »
Alex Dimakis · Nikolaos Vasiloglou · Guy Van den Broeck · Alexander Ihler · Assaf Araki -
2016 Poster: New Liftable Classes for First-Order Probabilistic Inference »
Seyed Mehran Kazemi · Angelika Kimmig · Guy Van den Broeck · David Poole -
2015 Poster: Tractable Learning for Complex Probability Queries »
Jessa Bekker · Jesse Davis · Arthur Choi · Adnan Darwiche · Guy Van den Broeck -
2014 Poster: Learning Distributed Representations for Structured Output Prediction »
Vivek Srikumar · Christopher D Manning -
2014 Spotlight: Learning Distributed Representations for Structured Output Prediction »
Vivek Srikumar · Christopher D Manning -
2013 Poster: On the Complexity and Approximation of Binary Evidence in Lifted Inference »
Guy Van den Broeck · Adnan Darwiche -
2013 Spotlight: On the Complexity and Approximation of Binary Evidence in Lifted Inference »
Guy Van den Broeck · Adnan Darwiche -
2011 Poster: On the Completeness of First-Order Knowledge Compilation for Lifted Probabilistic Inference »
Guy Van den Broeck -
2011 Oral: On the Completeness of First-Order Knowledge Compilation for Lifted Probabilistic Inference »
Guy Van den Broeck