Imagen de Portada

Developing a Dataset-Adaptive, Normalized Metric for Machine Learning Model Assessment: Integrating Size, Complexity, and Class Imbalance

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Ossenov, Serzhan
Formato:	Preprint
Publicado:	2024
Materias:	Machine Learning Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Machine Learning Model Integration with Open World Temporal Logic for Process Automation
por: Aditya, Dyuman, et al.
Publicado: (2025)

A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking
por: Zhou, Xiaofeng, et al.
Publicado: (2026)

Output-decomposed Learning of Mealy Machines
por: Koenders, Rick, et al.
Publicado: (2024)

A General Framework for Property-Driven Machine Learning
por: Flinkow, Thomas, et al.
Publicado: (2025)

State Matching and Multiple References in Adaptive Active Automata Learning
por: Kruger, Loes, et al.
Publicado: (2024)

Skill Machines: Temporal Logic Skill Composition in Reinforcement Learning
por: Tasse, Geraud Nangue, et al.
Publicado: (2022)

Generalizing Logic-based Explanations for Machine Learning Classifiers via Optimization
por: Filho, Francisco Mateus Rocha, et al.
Publicado: (2026)

Limits of Deep Learning: Sequence Modeling through the Lens of Complexity Theory
por: Zubić, Nikola, et al.
Publicado: (2024)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
por: Mannucci, Mirco A.
Publicado: (2025)

Formalized Hopfield Networks and Boltzmann Machines
por: Cipollina, Matteo, et al.
Publicado: (2025)

SDSC:A Structure-Aware Metric for Semantic Signal Representation Learning
por: Lee, Jeyoung, et al.
Publicado: (2025)

Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
por: Joshi, Aniruddha, et al.
Publicado: (2025)

Progressive Safeguards for Safe and Model-Agnostic Reinforcement Learning
por: Omi, Nabil, et al.
Publicado: (2024)

Learning Representations Through Contrastive Neural Model Checking
por: Krsmanovic, Vladimir, et al.
Publicado: (2025)

Pathformer: Recursive Path Query Encoding for Complex Logical Query Answering
por: Zhang, Chongzhi, et al.
Publicado: (2024)

Exponential Sample Complexity Separation between Flat and Hierarchical Agentic Theorem Provers
por: Sonoda, Sho, et al.
Publicado: (2026)

Machine Learning for Quantifier Selection in cvc5
por: Jakubův, Jan, et al.
Publicado: (2024)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
por: Benedikt, Michael, et al.
Publicado: (2026)

From learnable objects to learnable random objects
por: Anderson, Aaron, et al.
Publicado: (2025)

Programs as Singularities
por: Murfet, Daniel, et al.
Publicado: (2025)

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!
por: Gu, Rong
Publicado: (2024)

Bisimulation Learning
por: Abate, Alessandro, et al.
Publicado: (2024)

The Descriptive Complexity of Graph Neural Networks
por: Grohe, Martin
Publicado: (2023)

Scaling the Explanation of Multi-Class Bayesian Network Classifiers
por: Zhang, Yaofang, et al.
Publicado: (2026)

Deep Learning with Parametric Lenses
por: Cruttwell, Geoffrey S. H., et al.
Publicado: (2024)

Scalable Interconnect Learning in Boolean Networks
por: Kresse, Fabian, et al.
Publicado: (2025)

The Complexity of Verifying Feedforward Neural Networks in Quantised Settings
por: Alsmann, Eric, et al.
Publicado: (2026)

Null Measurability at the Symmetrization Interface in VC Learning
por: Gupta, Dhruv
Publicado: (2026)

On Improving Deep Active Learning with Formal Verification
por: Spiegelman, Jonathan, et al.
Publicado: (2025)

Error-awareness Accelerates Active Automata Learning
por: Kruger, Loes, et al.
Publicado: (2026)

Neural Model Checking
por: Giacobbe, Mirco, et al.
Publicado: (2024)

Verifying the Generalization of Deep Learning to Out-of-Distribution Domains
por: Amir, Guy, et al.
Publicado: (2024)

Learning logic programs by finding minimal unsatisfiable subprograms
por: Cropper, Andrew, et al.
Publicado: (2024)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
por: Flinkow, Thomas, et al.
Publicado: (2026)

Local vs. Global Interpretability: A Computational Complexity Perspective
por: Bassan, Shahaf, et al.
Publicado: (2024)

Learning Better Representations From Less Data For Propositional Satisfiability
por: Ghanem, Mohamed, et al.
Publicado: (2024)

Infectious Disease Forecasting in India using LLM's and Deep Learning
por: Shah, Chaitya, et al.
Publicado: (2024)

PICID: Proof-Driven Clause Learning in Neural Network Verification
por: Isac, Omri, et al.
Publicado: (2025)

Counterexample-Guided Repair of Reinforcement Learning Systems Using Safety Critics
por: Boetius, David, et al.
Publicado: (2024)

A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs
por: Perez, Mateo, et al.
Publicado: (2023)