Massive Free Documents

Discover millions of professional documents covering academic, business, culture and more.

Optimal Resource Utilization for Autonomous Laboratory Orchestrators

Optimal Resource Utilization for Autonomous Laboratory Orchestrators

Verification of a Sequential Thermo Poroelasticity Formulation in PFLOTRAN

Verification of a Sequential Thermo Poroelasticity Formulation in PFLOTRAN

Theoria: Rewrite-Acceptability Verification over Informal Reasoning States

Theoria: Rewrite-Acceptability Verification over Informal Reasoning States

The Decode-Work Law: Margin-Governed, Provably-Exact Spatial Joins over Compressed Geometry

The Decode-Work Law: Margin-Governed, Provably-Exact Spatial Joins over Compressed Geometry

Can Agents Generalize to the Open World? Unveiling the Fragility of Static Training in Tool Use

Can Agents Generalize to the Open World? Unveiling the Fragility of Static Training in Tool Use

Agentic generation of verifiable rules for deterministic, self-expanding reaction classification

Agentic generation of verifiable rules for deterministic, self-expanding reaction classification

The Singular Source of Vineyard Monodromy

The Singular Source of Vineyard Monodromy

Compression of Polyconvex Envelopes of Isotropic Functions via Monotonic Input Convex Neural Networks

Compression of Polyconvex Envelopes of Isotropic Functions via Monotonic Input Convex Neural Networks

Bayesian Uncertainty Propagation for Agentic RAG Pipelines Proof-of-Concept Study on Multi-Hop Question Answering

Bayesian Uncertainty Propagation for Agentic RAG Pipelines Proof-of-Concept Study on Multi-Hop Question Answering

Graph-Native Reinforcement Learning Enables Traceable Scientific Hypothesis Generation Through Conceptual Recombination

Graph-Native Reinforcement Learning Enables Traceable Scientific Hypothesis Generation Through Conceptual Recombination

From Registry to Repository: How AI Agent Skills Are Written, Adapted, and Maintained

From Registry to Repository: How AI Agent Skills Are Written, Adapted, and Maintained

Two AI Metrics Diverged Will it Make All the Difference

Two AI Metrics Diverged Will it Make All the Difference

Self-Evolving Agents with Anytime-Valid Certificates

Self-Evolving Agents with Anytime-Valid Certificates

Certification of PGD Reduced-Order Models With Separated Spatial Variables

Certification of PGD Reduced-Order Models With Separated Spatial Variables

Self-GC Self-Governing Context for Long-Horizon LLM Agents

Self-GC Self-Governing Context for Long-Horizon LLM Agents