:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Barceló, P., Cominetti, R., Morgado, M.
Format:	Preprint
Published:	2025
Subjects:	Machine Learning I.2.3
Online Access:	https://arxiv.org/abs/2501.02356
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Making Logic a First-Class Citizen in Generative ML for Networking
by: Hè, Hongyu, et al.
Published: (2025)

Evaluating the Architectural Reasoning Capabilities of LLM Provers via the Obfuscated Natural Number Game
by: Li, Lixing
Published: (2026)

A Neurosymbolic Framework for Geometric Reduction of Binary Forms
by: Kotsireas, Ilias, et al.
Published: (2025)

Trustworthiness Preservation by Copies of Machine Learning Systems
by: Ceragioli, Leonardo, et al.
Published: (2025)

Cryptogenic stroke and migraine: using probabilistic independence and machine learning to uncover latent sources of disease from the electronic health record
by: Betts, Joshua W., et al.
Published: (2025)

Large Language Models Are Not Strong Abstract Reasoners
by: Gendron, Gaël, et al.
Published: (2023)

Leveraging Log Probabilities in Language Models to Forecast Future Events
by: Soru, Tommaso, et al.
Published: (2025)

DISCO: DISCovering Overfittings as Causal Rules for Text Classification Models
by: Zhang, Zijian, et al.
Published: (2024)

Foundation Models for Structural Health Monitoring
by: Benfenati, Luca, et al.
Published: (2024)

When Your Own Output Becomes Your Training Data: Noise-to-Meaning Loops and a Formal RSI Trigger
by: Ando, Rintaro
Published: (2025)

Development of Hybrid Artificial Intelligence Training on Real and Synthetic Data: Benchmark on Two Mixed Training Strategies
by: Wachter, Paul, et al.
Published: (2025)

Grokking in the Wild: Data Augmentation for Real-World Multi-Hop Reasoning with Transformers
by: Abramov, Roman, et al.
Published: (2025)

Galois groups of polynomials and neurosymbolic networks
by: Shaska, Elira, et al.
Published: (2025)

Fill in the Blank: Exploring and Enhancing LLM Capabilities for Backward Reasoning in Math Word Problems
by: Deb, Aniruddha, et al.
Published: (2023)

Can Large Language Models Learn Independent Causal Mechanisms?
by: Gendron, Gaël, et al.
Published: (2024)

Benchmarking the Discovery Engine
by: Foxabbott, Jack, et al.
Published: (2025)

Causal Cartographer: From Mapping to Reasoning Over Counterfactual Worlds
by: Gendron, Gaël, et al.
Published: (2025)

L2MAC: Large Language Model Automatic Computer for Extensive Code Generation
by: Holt, Samuel, et al.
Published: (2023)

Unified Modeling Language Code Generation from Diagram Images Using Multimodal Large Language Models
by: Bates, Averi, et al.
Published: (2025)

The Attribution Impossibility: No Feature Ranking Is Faithful, Stable, and Complete Under Collinearity
by: Caraker, Drake, et al.
Published: (2026)

Attacking interpretable NLP systems
by: Abdukhamidov, Eldor, et al.
Published: (2025)

An Automated SQL Query Grading System Using An Attention-Based Convolutional Neural Network
by: Schwartz, Donald R., et al.
Published: (2024)

Enhancing LLM Code Generation Capabilities through Test-Driven Development and Code Interpreter
by: Jalil, Sajed, et al.
Published: (2025)

DeepCodeProbe: Towards Understanding What Models Trained on Code Learn
by: Majdinasab, Vahid, et al.
Published: (2024)

Unsupervised Baseline Clustering and Incremental Adaptation for IoT Device Traffic Profiling
by: Alderman, Sean M., et al.
Published: (2026)

COBRA-PPM: A Causal Bayesian Reasoning Architecture Using Probabilistic Programming for Robot Manipulation Under Uncertainty
by: Cannizzaro, Ricardo, et al.
Published: (2024)

Generalizable IoT Traffic Representations for Cross-Network Device Identification
by: Sivanathan, Arunan, et al.
Published: (2026)

Alternating Bi-Objective Optimization for Explainable Neuro-Fuzzy Systems
by: Khaled, Qusai, et al.
Published: (2026)

xML-workFlow: an end-to-end explainable scikit-learn workflow for rapid biomedical experimentation
by: Tran, Khoa A., et al.
Published: (2025)

1GC-7RC: One Graphic Card -- Seven Research Challenges! How Good Are AI Agents at Doing Your Job?
by: Kampa, Robin-Nico, et al.
Published: (2026)

Tensor Logic: The Language of AI
by: Domingos, Pedro
Published: (2025)

Graph2Tac: Online Representation Learning of Formal Math Concepts
by: Blaauwbroek, Lasse, et al.
Published: (2024)

Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
by: Aniva, Leni, et al.
Published: (2024)

Self-Satisfied: An end-to-end framework for SAT generation and prediction
by: Serrano, Christopher R., et al.
Published: (2024)

Gravity Falls: A Comparative Analysis of Domain-Generation Algorithm (DGA) Detection Methods for Mobile Device Spearphishing
by: Wong, Adam Dorian, et al.
Published: (2026)

Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates
by: Echenim, Mnacho, et al.
Published: (2023)

Sound Logical Explanations for Mean Aggregation Graph Neural Networks
by: Morris, Matthew, et al.
Published: (2025)

Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions
by: Morris, Matthew, et al.
Published: (2025)

Relational Graph Convolutional Networks Do Not Learn Sound Rules
by: Morris, Matthew, et al.
Published: (2024)

LeanExplore: A search engine for Lean 4 declarations
by: Asher, Justin
Published: (2025)