Linear Temporal Logic, Model Checking, Temporal Properties, Verification
Browse Popular Interests
Browse:
๐ Mathematics & Statistics
Locality-Sensitive Hashing, Similarity Search, Dimension Reduction, MinHash
Compression Limits, Perfect Reconstruction, Information Theory, Entropy Coding
Heavy Tails, Severity Modeling, Claim Analysis, Fat-Tailed Distributions
log-normal, heavy tail, multiplicative processes, Galton distribution
Regression Analysis, Statistical Testing, Coefficient Estimation, R lm()
Minimum Distance, Generator Matrices, Systematic Codes, Coding Bounds
Bidirectional Programming, Data Synchronization, View Updates, Functional Programming
Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics
Interactive Proving, Tactic Composition, Proof Automation, Mathlib
Type Systems, Formal Methods, Lambda Calculus, Category Theory
Church Numerals, SKI Combinators, Functional Programming, Type Theory
Algorithmic Information, Compression Limits, Universal Prediction, Minimum Description
Regular Expressions, Axiomatization, Algebraic Structures, NetKAT
Higher-order Logic, Proof Development, Mathematical Foundations, Interactive Verification
Higher-order Logic, Formal Proofs, Mathematical Verification, Interactive Proving
HOL, Proof Development, Mathematical Logic, Interactive Verification
Iris framework, separation logic, Coq proof assistant, concurrent program verification
Grammar Extensions, Context-sensitive Parsing, Time Ranges, Temporal Logic
Numerical Analysis, Verified Computing, Error Bounds, Precision