Global MMLU: Understanding and Addressing Cultural and Linguistic Biases in Multilingual Evaluation

Unsupervised ensemble-based phenotyping enhances discoverability of genes related to left-ventricular morphology

Hybrid Intersection Types for PCF

Useful Call-by-Value: A Semantic Interpretation via Quantitative Types

Proof Terms for Higher-Order Rewriting and Their Equivalence

Hybrid Intersection Types for PCF (Extended Version)

Collective Wisdom and the Fermi Method: Improving the Accuracy of Deliberative Groups

Toolkit to Examine Lifelike Language v.2.0: Optimizing Speech Biomarkers of Neurodegeneration

Challenges in certifying quantum teleportation: moving beyond conventional fidelity benchmark

Extending Schmidt vector from pure to mixed states for characterizing entanglement

LOCC convertibility of entangled states in infinite-dimensional systems

Challenges in certifying quantum teleportation: Moving beyond the conventional fidelity benchmark

Axiomatization of XPath with general data comparison

Computational Complexity of Preferred Subset Repairs on Data-Graphs

The Distributional Uncertainty of the SHAP score in Explainable Machine Learning