Paolo Morettin

Orcid: 0000-0003-4321-5215

According to our database1, Paolo Morettin authored at least 21 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Enhancing SMT-based Weighted Model Integration by structure awareness.
Artif. Intell., March, 2024

A Benchmark Suite for Systematically Evaluating Reasoning Shortcuts.
CoRR, 2024

Semantic Loss Functions for Neuro-Symbolic Structured Prediction.
CoRR, 2024

A Unified Framework for Probabilistic Verification of AI Systems via Weighted Model Integration.
CoRR, 2024

2023
Semantic Loss Functions for Neuro-Symbolic Structured Prediction.
Proceedings of the Compendium of Neurosymbolic Artificial Intelligence, 2023

Top-Down Knowledge Compilation for Counting Modulo Theories.
CoRR, 2023

2022
Learning and Reasoning in Hybrid Structured Spaces
Frontiers in Artificial Intelligence and Applications 350, IOS Press, ISBN: 978-1-64368-267-9, 2022

SMT-based weighted model integration with structure awareness.
Proceedings of the Uncertainty in Artificial Intelligence, 2022

2021
Co-creating Platformer Levels with Constrained Adversarial Networks.
Proceedings of the Joint Proceedings of the ACM IUI 2021 Workshops co-located with 26th ACM Conference on Intelligent User Interfaces (ACM IUI 2021), 2021

Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020
Probabilistic Inference with Algebraic Constraints: Theoretical Limits and Practical Approximations.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Efficient Generation of Structured Objects with Constrained Adversarial Networks.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing.
Proceedings of the 37th International Conference on Machine Learning, 2020

Learning Weighted Model Integration Distributions.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Hybrid Probabilistic Inference with Logical Constraints: Tractability and Message Passing.
CoRR, 2019

Advanced SMT techniques for weighted model integration.
Artif. Intell., 2019

The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018
NES<sup>2</sup>RA.
Int. J. High Perform. Comput. Appl., 2018

2017
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Probabilistic Inference in Hybrid Domains.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2015
Discovering Candidates for Gene Network Expansion by Distributed Volunteer Computing.
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015


  Loading...