:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Petit, Thierry, Pachot, Arnault
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Machine Learning Artificial Intelligence I.2.1; I.2.8; D.3.2; F.4.1
Accesso online:	https://arxiv.org/abs/2512.07306
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Test Case Features as Hyper-heuristics for Inductive Programming
di: McDaid, Edward, et al.
Pubblicazione: (2024)

IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning
di: Nieuwenhuis, Robert, et al.
Pubblicazione: (2024)

Instruction and Solution Probabilities as Heuristics for Inductive Programming
di: McDaid, Edward, et al.
Pubblicazione: (2025)

Declarative Integration and Management of Large Language Models through Finite Automata: Application to Automation, Communication, and Ethics
di: Petit, Thierry, et al.
Pubblicazione: (2024)

Automated Theorem Provers Help Improve Large Language Model Reasoning
di: McGinness, Lachlan, et al.
Pubblicazione: (2024)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
di: Zhang, Xindi, et al.
Pubblicazione: (2025)

Logic.py: Bridging the Gap between LLMs and Constraint Solvers
di: Kesseli, Pascal, et al.
Pubblicazione: (2025)

Meta-Reinforcement Learning with Discrete World Models for Adaptive Load Balancing
di: Redovian, Cameron
Pubblicazione: (2025)

Summa Summarum: Moessner's Theorem without Dynamic Programming
di: Danvy, Olivier
Pubblicazione: (2024)

GraphWalk: Enabling Reasoning in Large Language Models through Tool-Based Graph Navigation
di: Ghandi, Taraneh, et al.
Pubblicazione: (2026)

Learning How to Cube
di: Erata, Ferhat, et al.
Pubblicazione: (2026)

Quantum Abduction: A New Paradigm for Reasoning under Uncertainty
di: Pareschi, Remo
Pubblicazione: (2025)

Can Semantic Methods Enhance Team Sports Tactics? A Methodology for Football with Broader Applications
di: Di Rubbo, Alessio, et al.
Pubblicazione: (2026)

Internalizing Tools as Morphisms in Graded Transformers
di: Shaska, Tony
Pubblicazione: (2025)

Open-TI: Open Traffic Intelligence with Augmented Language Model
di: Da, Longchao, et al.
Pubblicazione: (2023)

Controlled Territory and Conflict Tracking (CONTACT): (Geo-)Mapping Occupied Territory from Open Source Intelligence
di: Mandal, Paul K., et al.
Pubblicazione: (2025)

IMDMR: An Intelligent Multi-Dimensional Memory Retrieval System for Enhanced Conversational AI
di: Pawar, Tejas, et al.
Pubblicazione: (2025)

TML-Bench: Benchmark for Data Science Agents on Tabular ML Tasks
di: Pinchuk, Mykola
Pubblicazione: (2026)

Simulated Human Learning in a Dynamic, Partially-Observed, Time-Series Environment
di: Jiang, Jeffrey, et al.
Pubblicazione: (2025)

Consensus and Synchronization of Multi-agent Systems over Finite Fields -- Graph Topologies
di: Hengster-Movrić, Kristian, et al.
Pubblicazione: (2026)

Ultra-Reduced-Impact-Encased-Logging (URIEL): propose a new method for selective sustainable logging and post-harvest silvicultural treatment in tropical forest using airborne robotics systems
di: Albiero, Daniel, et al.
Pubblicazione: (2026)

Improving Omics-Based Classification: The Role of Feature Selection and Synthetic Data Generation
di: Perazzolo, Diego, et al.
Pubblicazione: (2025)

N-Agent Ad Hoc Teamwork
di: Wang, Caroline, et al.
Pubblicazione: (2024)

The Relational Machine Calculus
di: Barrett, Chris, et al.
Pubblicazione: (2024)

A survey of air combat behavior modeling using machine learning
di: Gorton, Patrick Ribu, et al.
Pubblicazione: (2024)

Why we need an AI-resilient society
di: Bartz-Beielstein, Thomas
Pubblicazione: (2019)

FATHOMS-RAG: A Framework for the Assessment of Thinking and Observation in Multimodal Systems that use Retrieval Augmented Generation
di: Hildebrand, Samuel, et al.
Pubblicazione: (2025)

Hybrid-AIRL: Enhancing Inverse Reinforcement Learning with Supervised Expert Guidance
di: Silue, Bram, et al.
Pubblicazione: (2025)

From Search to Reasoning: A Five-Level RAG Capability Framework for Enterprise Data
di: Gill, Gurbinder, et al.
Pubblicazione: (2025)

Provably Correct Systems: Community, connections, and citations
di: Bowen, Jonathan P.
Pubblicazione: (2015)

Parallel Strategies for Best-First Generalized Planning
di: Fernández-Alburquerque, Alejandro, et al.
Pubblicazione: (2024)

LTL Verification of Memoryful Neural Agents
di: Hosseini, Mehran, et al.
Pubblicazione: (2025)

Sutra: Tensor-Op RNNs as a Compilation Target for Vector Symbolic Architectures
di: Leonhart, Emma
Pubblicazione: (2026)

Optimistic Feasible Search for Closed-Loop Fair Threshold Decision-Making
di: Du, Wenzhang
Pubblicazione: (2025)

Designing Multi-Step Action Models for Enterprise AI Adoption
di: Mishra, Shreyash, et al.
Pubblicazione: (2024)

ROTATE: Regret-driven Open-ended Training for Ad Hoc Teamwork
di: Wang, Caroline, et al.
Pubblicazione: (2025)

AgenticPosesRanker: An Agentic AI Framework for Physically Grounded Ranking of Protein-Ligand Docking Poses
di: Khiari, Sofiene, et al.
Pubblicazione: (2026)

Gyan: An Explainable Neuro-Symbolic Language Model
di: Srinivasan, Venkat, et al.
Pubblicazione: (2026)

Local Stability and Region of Attraction Analysis for Neural Network Feedback Systems under Positivity Constraints
di: Hedesh, Hamidreza Montazeri, et al.
Pubblicazione: (2025)

Robust Stability Analysis of Positive Lure System with Neural Network Feedback
di: Hedesh, Hamidreza Montazeri, et al.
Pubblicazione: (2025)