2 papers
quant-ph2023
Asymmetric quantum decision-making
Honoka Shiratori, Hiroaki Shinkawa, André Röhm +7
Collective decision-making is crucial to information and communication systems. Decision conflicts among agents hinder the maximization of potential utilities of the entire system.…
cs.AI2022
Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis
Jonathan Laurent, André Platzer
We propose a new approach to automated theorem proving where an AlphaZero-style agent is self-training to refine a generic high-level expert strategy expressed as a nondeterministi…