arXiv Machine Learning By Jiayu Li

The Axiomatic Trader: Latent Regularity, Information Budgets, and the Canonical Form of a Quantitative Investment System

Read the original on arXiv Machine Learning →

The paper proposes five axioms that formalize the assumptions underlying systematic trading, each expressed through declared quantitative constants. It demonstrates that these axioms necessitate a five‑stage canonical structure for a quantitative investment system and proves that omitting any stage worsens performance under the axioms. Empirical tests on real market data show that the axioms hold, though certain declared constants (e.g., κ = 1 and an exponential decay assumption) are rejected.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv Machine Learning.

arXiv AI
Jun 16

The Faithfulness Gap: Certifying Semantic Equivalence Between Natural-Language and Formal Mathematical Statements

arXiv:2606. 16541v1 Announce Type: new Abstract: Autoformalization, translating natural-language mathematics into formal proof assistants, is bottlenecked not by translation fluency but by \emph{faithfulness}: a formal statement can typecheck and be provable, yet still encode a different theorem than the source intended.

By Noor Islam S. Mohammad, Tamim Sheikh