-
CORAL: expert-Curated medical Oncology Reports to Advance Language model infe...
Both medical care and observational studies in oncology require a thorough understanding of a patient's disease progression and treatment history, often elaborately documented... -
Private ltlf2asp
Linear Temporal Logic over Finite Traces (LTLf) is a popular logic to reason about finite sequences of events. In LTLf, the (bounded) satisfiability problem refers to whether... -
Experimental results from the Empirical Investigation of the Completeness of ...
This is the raw data from the empirical investigation of the paper “Completeness of Datasets Documentation on ML/AI repositories: an Empirical Investigation”. This work aim of... -
STS-EPR: Modelling individual mobility considering the spatial, temporal, and...
Modelling human mobility is crucial in several scientific areas, from urban planning to epidemic modeling, traffic forecasting, and what-if analysis. On the one hand, existing...