IEEE

Predicate learning and selective theory deduction for a difference logic solver

Abstract: Design and verification of systems at the register-transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an arbitrary ...
The Lancet

FDA-cleared artificial intelligence and machine learning-based medical devices and their 510(k) predicate networks

aInstitute for Diagnostic and Interventional Radiology, University Hospital Zurich and University of Zurich, Zurich, Switzerland bDepartment of Nuclear Medicine, University Hospital Zurich and ...
IEEE

Structural search for RTL with predicate learning

Abstract: The authors presented an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). The authors used the RTL circuit structure by ...
GitHub

Learning-and-Intelligent-Systems/predicators

This codebase implements a framework for bilevel planning with learned neuro-symbolic relational abstractions, as described in the following papers: Segment data. Learn how many NSRTs we need, along ...
Microsoft

Accelerating Machine Learning Inference with Probabilistic Predicates

Classic query optimization techniques, including predicate pushdown, are of limited use for machine learning inference queries, because the user-defined functions (UDFs) which extract relational ...
GitHub

Bilevel Learning for Bilevel Planning

A robot that learns from demonstrations should not just imitate what it sees---it should understand the high-level concepts that are being demonstrated and generalize them to new tasks. Bilevel ...
Frontiers

Does Embodiment of Verbs Influence Predicate Metaphor Processing in a Second Language? Evidence From Picture Priming

1 School of Foreign Studies, South China Normal University, Guangzhou, China 2 Center for Language Cognition and Assessment, South China Normal University, Guangzhou, China Distinct from nominal ...