Exploring Approximations for Floating-Point Arithmetic using UppSAT
Counterfactual Causality from First Principles?
Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems Which Neural Network to Choose for Post-Fault Localization, Dynamic
  State Estimation and Optimal Measurement Placement in Power Systems? Quantum molecular dynamics simulations of lithium melting using Z-method Machine Learning Classification Informed by a Functional Biophysical
  System Optimal synchronization on strongly connected directed networks Symbolic-computation study of integrable properties for the
  (2+1)-dimensional Gardner equation with the two-singular-manifold method RNA-2QCFA: Evolving Two-way Quantum Finite Automata with Classical
  States for RNA Secondary Structures Semantic Text Analysis for Detection of Compromised Accounts on Social
  Networks On a Linear Property of Bilinearly Defined Sets in $\mathbb{R}^n$ Dynamic information design Dynamic Assortment Personalization in High Dimensions The Mathematics of Comparing Objects Liquid-Gas phase transition in nuclei Introduction to the non-asymptotic analysis of random matrices Predicting Research Trends with Semantic and Neural Networks with an
  application in Quantum Physics Spatio-selection in Expanding Bacterial Colonies Persistent homology analysis of multiqubit entanglement Community Interaction and Conflict on the Web
cs.LO cs.AI