2 papers
quant-ph2025
Comparing quantum and classical Monte Carlo algorithms for estimating Betti numbers of clique complexes
Ismail Yunus Akhalwaya, Ahmed Bhayat, Adam Connolly +4
Several quantum and classical Monte Carlo algorithms for Betti Number Estimation (BNE) on clique complexes have recently been proposed, though it is unclear how their performances…
cs.LO2024
A Higher-Order Vampire (Short Paper)
Ahmed Bhayat, Martin Suda
The support for higher-order reasoning in the Vampire theorem prover has recently been completely reworked. This rework consists of new theoretical ideas, a new implementation, and…