➗ Math - the_floundering_lotus · Scour

A Bayesian Proof and Interpretation of Talagrand's Majorizing Measure Theorem 🗳️Social Choice

On extremes for Gaussian subordination 🗳️Social Choice

Dyer-Lashof operation in nLab λType Theory

ncatlab.org·4d

Kite and Darts and Dragons, Oh My! 📖Books

pballew.blogspot.com·6d·Blogger

A Mathematician's Apology ♟️Game Theory

abakcus.com·5d

Normal integral representation for the joint survival function of the cumulative sums of the components of multinomial random vectors 📡Information Theory

Shrivastava-Aditya/bool-LLM-ngn: Benchmark proving LLMs can't do boolean logic — and the engine that does it for them ✅Formal Verification

github.com·6d·r/LLM

A Multi-factorial Innovation Model with Feature Interaction 🗳️Social Choice

Modular invariance of characters of quasi-lisse vertex algebras ✅Formal Verification

Stunning AI Solution For 80-Year-Old Problem Shocks Mathematicians 🧮Algorithms

sciencealert.com·1d

The Wasserstein cost of Importance Sampling 📡Information Theory

barvhaim/llm-learning-path: 🎓 Structured LLM Learning Path — From Zero to Researcher. 8-phase curriculum covering Transformers, pre-training, fine-tuning, alignment, agents, and advanced research. 🎯Constraint Programming

github.com·5d·Hacker News

A note on the Alon-Saks-Seymour problem 🧮Algorithms

Quantitative semidefinite certificates for ground-state energies of Pauli Hamiltonians 🧩Constraint Solving

Prime Certificates for Exact Vertex-Coprime Ramsey Numbers 💻Computer Science

Runtime Analysis of a Compact Genetic Algorithm on a Truly Multi-valued OneMax Function 🧮Algorithms

Exact Geometric Typicality and Bipartite Entanglement from the Projected Central Limit Theorem on Hyperspheres λType Theory

A proof-theoretic approach to abstract interpretation ✅Formal Verification

Wasserstein Least Squares: A Canonical Regression Method for Probability Distributions 📡Information Theory

Analysis of Nym VPN and its "guaranteed" privacy 🔒Physical Security

discuss.privacyguides.net·1d

Sign up or log in to see more results

Log in to enable infinite scrolling