Español

Explorar

Noticias de IA

22115 elementos — filtrados, clasificados y sin duplicados

Todos Models & Releases Research & Papers Funding & M&A Policy & Regulation Product Launches Industry Moves Developer Tooling Opinion & Editorial Security & Safety Other
arXiv cs.AI Research & Papers
Animation, Verification and Visualisation of Prolog Transition Systems with ProB
arXiv cs.AI Research & Papers
Case study: solving P-99 with LPTP and an LLM
arXiv cs.AI Research & Papers
Towards a Certifying Grounder
arXiv cs.AI Research & Papers
Hybrid MKNF with Classical Negation in the Rule Component
arXiv cs.AI Research & Papers
pAI-Econ-claude: A Gated Human-in-the-Loop Multi-Agent Architecture for AI-Assisted Econo…
arXiv cs.AI Research & Papers
A Comparative Evaluation of Embeddings and LLMs in a Greek Book Publisher Setting - The C…
arXiv cs.AI Research & Papers
AI Assistants Overassist
arXiv cs.AI Research & Papers
GRADRAG: Cross-Component Prompt Adaptation for Coordinated Multi-Agent RAG
arXiv cs.AI Research & Papers
Toward cryptographically verifiable authorization for autonomous AI agents: A security hy…
arXiv cs.AI Research & Papers
From Static Bibliometrics to Dynamic Knowledge Graphs: An LLM-Powered Framework for Moder…
arXiv cs.AI Research & Papers
Directional Hallucinations: Ideological Drift in News-Grounded LLM Question Answering
arXiv cs.AI Research & Papers
PlanE: Meta Planning of Data, Tuning, and Inference for Extractive-based LLMs
arXiv cs.AI Research & Papers
PersonaTrail: Benchmarking Personalized Web Agents through Browsing Trails
arXiv cs.AI Research & Papers
DecodeShare: Tracing the Shared Subspace of LLM Decode-Time Decisions
arXiv cs.AI Research & Papers
Autonomous Topology Mutation: Safe Runtime Restructuring for Multi-Agent LLM Systems with…
arXiv cs.AI Research & Papers
EvoSQL: Memory-Augmented Critic-Generator Co-Evolution for Text-to-SQL
arXiv cs.AI Research & Papers
An LLM-Driven Workflow for Automated Process Control Strategy Generation and Tuning from …
arXiv cs.AI Research & Papers
A New Well-Supported Semantics for Description Logic Programs
arXiv cs.AI Research & Papers
Differentiable Logic Programming to Mitigate Reasoning Shortcuts in Neurosymbolic Systems
arXiv cs.AI Research & Papers
InferenceBench: A Benchmark for Open-Ended LLM Inference Optimization by AI Agents
arXiv cs.AI Research & Papers
DS@GT ARC at ImageCLEFmed GANs 2026: Geometric Filtering for Privacy-Preserving CT Slice …
arXiv cs.AI Research & Papers
CRAWO: Custom Resources for Adaptive Workload Orchestration
arXiv cs.AI Research & Papers
OPTScientist: Multi-Agent Discovery of Typed Optimizer Programs for Transformer Pretraini…
arXiv cs.AI Research & Papers
Monkey King Bang: A Unified Scientific Multimodal Foundation Model
arXiv cs.AI Research & Papers
SenCos-GEM: SENet-Calibrated and Law-of-Cosines-Constrained Geometry-Enhanced Molecular R…
arXiv cs.AI Research & Papers
Improving Access to Essential Medicines via Decision-Aware Machine Learning
arXiv cs.AI Research & Papers
Detecting LLM-Generated Tokens in Human--LLM Coauthored Text
arXiv cs.AI Research & Papers
Leveraging Biokinetic Knowledge Priors for Data-Scarce Bioprocess Modeling
arXiv cs.AI Research & Papers
Grounding Investor Views: Neural Predicates in the Black-Litterman Model
arXiv cs.AI Research & Papers
Position: Stop Reactively Patching Your Model Every Time and Start Proactive Test-Driven …