36 citations · 93 across the 17 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.AI2022
BNSynth: Bounded Boolean Functional Synthesis
Ravi Raja, Stanly Samuel, Chiranjib Bhattacharyya +2
The automated synthesis of correct-by-construction Boolean functions from logical specifications is known as the Boolean Functional Synthesis (BFS) problem. BFS has many applicatio…
quant-ph2022
Shot-frugal and Robust quantum kernel classifiers
Abhay Shastry, Abhijith Jayakumar, Apoorva Patel +1
Quantum kernel methods are a candidate for quantum speed-ups in supervised machine learning. The number of quantum measurements N required for a reasonable kernel estimate is a cri…