random matrix theory, RMT, eigenvalue distribution, Marchenko-Pastur
Discover
📐 Mathematics & Statistics
randomized testing, Monte Carlo, probabilistic algorithms
Wave-Particle Duality, Quantum States, Superposition, Entanglement
Interactive Theorem Proving, Tactic Languages, Proof Development, Automation
Automated Reasoning, Tactic Languages, Resolution, Unification
Coq, Isabelle, Agda, HOL, interactive theorem proving
operational semantics, small-step, big-step, reduction rules, evaluation
incentive design, auction theory, market design, game theory
linear programming, simplex method, convex optimization, LP solver
Lean 4, Lean theorem prover, Lean metaprogramming, functional proof
Algorithmic Information Theory, Minimum Description Length, Compression Bounds, Information Content
Pre-conditions, Post-conditions, Loop Invariants, Program Correctness
operational semantics, denotational semantics, axiomatic semantics, small-step big-step
EVT, Gumbel distribution, tail estimation, Pickands-Balkema, financial extremes
Causal Inference, Regression, Panel Data
Memoization, Optimization Problems, Recursion, Algorithm Design
computer science, academic research, papers, arxiv
arXiv, research paper, ACM, USENIX, OSDI
PID Controllers, State Space, Feedback Loops, Stability