Massive Free Documents

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

OpenProver: Agentic and Interactive Theorem Proving with Lean 4
PDF

OpenProver: Agentic and Interactive Theorem Proving with Lean 4

Add by Seraphina
2
Co-evolution of self-replication and function in a digital primordial soup
PDF

Co-evolution of self-replication and function in a digital primordial soup

Add by Seraphina
5
TactiDex: A Real-World Tactile-Guided Benchmark for Human-Like Dexterous Manipulation
PDF

TactiDex: A Real-World Tactile-Guided Benchmark for Human-Like Dexterous Manipulation

Add by Quinn
2
Network-distance decay of perceived online social support
PDF

Network-distance decay of perceived online social support

Add by Seraphina
1
Bidirectional Resource Scheduling for Disaggregated and Asynchronous RL Post-Training
PDF

Bidirectional Resource Scheduling for Disaggregated and Asynchronous RL Post-Training

Add by Seraphina
1
The Differential Impacts of Top Management Support and Transformational Supervisory Leadership on Employees’ Digital Performance
PDF

The Differential Impacts of Top Management Support and Transformational Supervisory Leadership on Employees’ Digital Performance

Add by Clementine
36
The Current State of Cryptocurrency Forensics
PDF

The Current State of Cryptocurrency Forensics

Add by Clementine
40
Joint-Embedding Predictive Architecture for Solar PV Panel Fault Classification
PDF

Joint-Embedding Predictive Architecture for Solar PV Panel Fault Classification

Add by Seraphina
1
Complexity-Guided Component-wise Initialization for Language Model Pretraining
PDF

Complexity-Guided Component-wise Initialization for Language Model Pretraining

Add by Seraphina
1
Interference and Retention in Continual Learning
PDF

Interference and Retention in Continual Learning

Add by Quinn
1
The Welfare Costs of Tariffs, Monopolies, and Theft
PDF

The Welfare Costs of Tariffs, Monopolies, and Theft

Add by Clementine
39
The Structure of Subjective Well-Being and Its Relation to Objective Well-Being Indicators: Evidence from EU-SILC for Serbia
PDF

The Structure of Subjective Well-Being and Its Relation to Objective Well-Being Indicators: Evidence from EU-SILC for Serbia

Add by Clementine
37
The Slow Professor Challenging the Culture of Speed in the Academy
PDF

The Slow Professor Challenging the Culture of Speed in the Academy

Add by Clementine
33
When Is Routing Meaningful Diversity and Robustness in Language Model Societies
PDF

When Is Routing Meaningful Diversity and Robustness in Language Model Societies

Add by Quinn
3
The Practical Study of Languages
PDF

The Practical Study of Languages

Add by Clementine
33