SoftReason: A Fully Differentiable Neuro-Soft-Symbolic Deductive Reasoning Architecture o…
Explorar
Noticias de IA
30696 elementos — filtrados, clasificados y sin duplicados
PoTRE: Test-Time Reasoning inspired by Cognitive Heterogeneity
CUSUM-Shaped Inference-Time Monitoring and Targeted Re-Decoding for Quantized Small Langu…
TRUST-ESD: A Risk-Calibrated and Governance-Aware AI Framework for Enterprise Strategic D…
PRO-LONG: Programmatic Memory Enables Long-Horizon Reasoning
ModPack: An Extensible Teleoperation Interface for Bimanual Mobile Manipulation
Global Difference Constraint Propagation for Constraint Programming
EvoDRC: A Self-Evolving Agentic Framework for Automated DRC Violation Repair
Safe Remediation as Risk-Constrained Intervention Decision in Microservice Systems
Predictive Extrema, Unprofitable Policies: An AI-Assisted Audit of Candle-Based Binance S…
CLARK: Closed-loop Learning for Adaptive Reasoning over Knowledge Graphs
Coordinating from Memory: Graph-Structured Experience Reuse for Multi-Agent Adaptation in…
The Giant Hippocampus: From Structural Monoculture to a System of Systems
SenWorld: A Digital-Twin Simulation for Generating Context-Rich Evaluation Data
MOF-Sleuth: Tool-Grounded Reward Alignment for Explainable Fine-Grained MOF CIF Auditing
Long-Term Sequential Decision Making under Risk
JANUS: Foreseeing Latent Risk for Long-Horizon Agent Safety
Symbol and Footprint Database for Electronic Components by Agentic Recognition and Genera…
Know Your Agent: Reconnaissance-Driven Pentesting of AI Agents
Rewarding Better Thinking for LLM Preference Alignment
Causal dictionary learning reveals and validates transcription-factor binding features in…
Edge Intelligence in Civil Aviation: Paradigms, Techniques, and Applications
Sophisticated Policies from Epistemic Priors
FORCE-Bench: A Benchmark, Dataset, and Evaluation Harness for Agentic AI in Enterprise Fi…
HyGRL: Adaptive Hybrid Graph Reasoning for Multi-Entity Questions
Euclean: Automated Geometry Problem Formalization with Unified Verification in Lean
Mitigating Scaffolding Collapse in Socratic Tutors via Representation Alignment
Beyond Tracking or Shortcut: Composition-Bounded Predictive States in Poker Autoregressiv…
Spectral-LSH: Sub-Quadratic Prompt Compression via Krylov-Projected Locality-Sensitive Ha…
Rethinking Uncertainty Evaluation in Large Language Models