:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Urrutia, Felipe, Salas, Jorge, Kozachinskiy, Alexander, Calderon, Cristian Buc, Pasten, Hector, Rojas, Cristobal
Format:	Preprint
Publié:	2025
Sujets:	Machine Learning Artificial Intelligence Computation and Language 03D78 I.2.0; F.1.0
Accès en ligne:	https://arxiv.org/abs/2511.11579
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Serial Properties, Selector Proofs, and the Provability of Consistency
par: Artemov, Sergei
Publié: (2024)

Non-Compact Proofs
par: Artemov, Sergei
Publié: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
par: Artemov, Sergei
Publié: (2025)

Adversarial Barrier in Uniform Class Separation
par: Rosko, Milan
Publié: (2025)

Different Theories of Parts
par: Pietruszczak, Andrzej
Publié: (2024)

Word equations and the exponent of periodicity
par: Diekert, Volker, et autres
Publié: (2025)

Consciousness in AI: Logic, Proof, and Experimental Evidence of Recursive Identity Formation
par: Camlin, Jeffrey
Publié: (2025)

Just a Simple Transformation is Enough for Data Protection in Vertical Federated Learning
par: Semenov, Andrei, et autres
Publié: (2024)

Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization
par: Ahvonen, Veeti, et autres
Publié: (2026)

The Fractal Logic of Phi-adic Recursion
par: Rosko, Milan
Publié: (2025)

Fixed-Point Theorems and the Ethics of Radical Transparency: A Logic-First Treatment
par: Alpay, Faruk, et autres
Publié: (2025)

Effective dynamical systems beyond dimension zero and factors of SFTs
par: Barbieri, Sebastián, et autres
Publié: (2024)

Artifical intelligence and inherent mathematical difficulty
par: Dean, Walter, et autres
Publié: (2024)

Equip Pre-ranking with Target Attention by Residual Quantization
par: Li, Yutong, et autres
Publié: (2025)

Lagrangian neural networks for nonholonomic mechanics
par: Diaz, Viviana Alejandra, et autres
Publié: (2024)

Evaluating Large Language Models for Causal Modeling
par: Razouk, Houssam, et autres
Publié: (2024)

Predicting VCSEL Emission Properties Using Transformer Neural Networks
par: Belonovskii, Aleksei V., et autres
Publié: (2024)

Prism-based compensation of group delay dispersion in the components of a femtosecond laser resonator and analysis of the influence of prism configuration on laser radiation parameters
par: Beznosenko, I. V., et autres
Publié: (2025)

Normative Conditional Reasoning as a Fragment of HOL
par: Parent, Xavier, et autres
Publié: (2023)

Accelerating Transfer Function Update for Distance Map based Volume Rendering
par: Rauter, Michael, et autres
Publié: (2024)

CoGraM: Context-sensitive granular optimization method with rollback for robust model fusion
par: Lenz, Julius
Publié: (2025)

Differential Privacy Under Class Imbalance: Methods and Empirical Insights
par: Rosenblatt, Lucas, et autres
Publié: (2024)

Skolem Meets Bateman-Horn
par: Luca, Florian, et autres
Publié: (2023)

Simulating Student Success in the Age of GenAI: A Kantian-Axiomatic Perspective
par: Kayadibi, Seyma Yaman
Publié: (2025)

A Theory for Probabilistic Polynomial-Time Reasoning
par: Chen, Lijie, et autres
Publié: (2026)

Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning
par: Xu, Ruoran, et autres
Publié: (2026)

Expressive Power of Graph Transformers via Logic
par: Ahvonen, Veeti, et autres
Publié: (2025)

Illustrating the Efficiency of Popular Evolutionary Multi-Objective Algorithms Using Runtime Analysis
par: Dang, Duc-Cuong, et autres
Publié: (2024)

Regime Change Hypothesis: Foundations for Decoupled Dynamics in Neural Network Training
par: Pérez-Corral, Cristian, et autres
Publié: (2026)

Deciding subspace reachability problems with application to Skolem's Problem
par: Everett, Samuel
Publié: (2024)

Proof-Carrying Neuro-Symbolic Code
par: Komendantskaya, Ekaterina
Publié: (2025)

Making High-Level AI Design Decisions Explicit Using a Binary Stream System-Designation Approach
par: Mossbridge, Julia
Publié: (2024)

Efficiently Scanning and Resampling Spatio-Temporal Tasks with Irregular Observations
par: Ferenczi, Bryce, et autres
Publié: (2024)

PCA- and SVM-Grad-CAM for Convolutional Neural Networks: Closed-form Jacobian Expression
par: Omae, Yuto
Publié: (2025)

Remarks on Primitive Regulation
par: Rosko, Milan
Publié: (2026)

Constructibility and the P versus NP problem
par: Hole, Arne
Publié: (2024)

ReFoRCE: A Text-to-SQL Agent with Self-Refinement, Consensus Enforcement, and Column Exploration
par: Deng, Minghang, et autres
Publié: (2025)

Measuring proximity to standard planes during fetal brain ultrasound scanning
par: Di Vece, Chiara, et autres
Publié: (2024)

Sparse vs Contiguous Adversarial Pixel Perturbations in Multimodal Models: An Empirical Analysis
par: Botocan, Cristian-Alexandru, et autres
Publié: (2024)

A Capacity-Based Rationale for Multi-Head Attention
par: Adler, Micah
Publié: (2025)