Basil Rohner

formal reasoning systems · machine learning