skglm: Improving scikit-learn for Regularized Generalized Linear Models

Get full text

Extremal graphical modeling with latent variables via convex optimization

Get full text

Bayesian Sparse Gaussian Mixture Model for Clustering in High Dimensions

Get full text

Developing explainablemachine learning model usingaugmented concept activation vector

Get full text

FlexFringe: Modeling Software Behavior by Learning Probabilistic Automata

Get full text

Regular Model Checking Upside-Down: An Invariant-Based Approach

Get full text

Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker

Get full text

Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays

Get full text

Disjunctive bases: normal forms and model theory for modal logics

Get full text

A Finite-Model-Theoretic View on Propositional Proof Complexity

Get full text

Architectures in parametric component-based systems: Qualitative and quantitative modelling

Get full text

Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models

Get full text

Model Checking Flat Freeze LTL on One-Counter Automata

Get full text

An intensionally fully-abstract sheaf model for $pi$ (expanded version)

Get full text

Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems

Get full text

Model Checking Vector Addition Systems with one zero-test

Get full text

Proof-irrelevant model of CC with predicative induction and judgmental equality

Get full text

Turing machines on represented sets, a model of computation for Analysis

Get full text

Model Checking Probabilistic Timed Automata with One or Two Clocks

Get full text

Exploratory analysis of logical and intuitive reasoning in large language models

Get full text