Hindley-Milner, Algorithm W, Constraint Generation, Unification
Similarity as Thermodynamic Work: Between Depth and Diversity -- from Information Distance to Ugly Duckling
arxiv.org·11h
Space-Deniable Proofs
eprint.iacr.org·1d
AC^0[p]-Frege Cannot Efficiently Prove that Constant-Depth Algebraic Circuit Lower Bounds are Hard
arxiv.org·11h
Thinking, Searching, and Acting
interconnects.ai·23h
Computation of Graph Polynomials via Tree Decomposition: Theory, Algorithms, and Python Implementation
arxiv.org·11h
Selective Population Protocols
arxiv.org·11h
Loading...Loading more...