Search for persons
X
?
Lecture Notes in Computer Science; Intelligent Computer Mathematics ,
5
CoProver: A Recommender System for Proof Construction:
, In:
?
Communications in Computer and Information Science; Explainable Artificial Intelligence ,
8
Outcome-Guided Counterfactuals from a Jointly Trained Gener..:
, In:
?
Lecture Notes in Computer Science; Intelligent Computer Mathematics ,
9
An Augmented MetiTarski Dataset for Real Quantifier Elimina..:
, In:
?
Respiratory Medicine; Essentials of Sleep Medicine ,
12
Obstructive Sleep Apnea: Clinical Epidemiology and Presenti..:
, In:
?
2022 IEEE Biomedical Circuits and Systems Conference (BioCAS) ,
14
Electronic System Design for a Next-generation Laser-driven..:
, In:
?
2022 IEEE Workshop on Design Automation for CPS and IoT (DESTION) ,
15