Y
HN HRCB
new
|
past
|
comments
|
ask
|
show
|
by right
|
domains
|
dashboard
|
about hrcb
arxiv.org
visit →
10 stories
avg HRCB:
+0.29
avg SETL:
+0.01
avg HOTL:
-0.55
1.
▶
AST-Guided Translation of Natural Language into First-Order Logic with LLMs
(
arxiv.org
)
2 points
by
PaulHoule
46 minutes ago
|
0 comments
2.
▶
How Ten Publishers Retract Research
(
arxiv.org
)
1 points
by
bikenaga
3 hours ago
|
1 comments
|
queued
3.
▶
Agents of Chaos
(
arxiv.org
)
2 points
by
wslh
4 hours ago
|
0 comments
|
failed
4.
▶
Package Managers à la Carte: a formal model of dependency resolution
(
arxiv.org
)
4 points
by
avsm
11 hours ago
|
0 comments
|
failed
5.
▶
HLE-Verified: A Verification and Revision of Humanity's Last Exam
(
arxiv.org
)
6 points
by
ravenical
2 days ago
|
|
queued
6.
▶
A 26-Gram Butterfly-Inspired Robot Achieving Autonomous Tailless Flight
(
arxiv.org
)
3 points
by
Terretta
2 days ago
|
1 comments
|
queued
7.
▶
Large Language Model Reasoning Failures
(
arxiv.org
)
40 points
by
T-A
3 days ago
|
81 comments
|
queued
8.
HRCB
+0.29
68%
SETL
+0.01
HOTL
-0.66
Fast KV Compaction via Attention Matching
(
arxiv.org
)
73 points
by
cbracketdash
4 days ago
|
15 comments
|
hrcb
9.
▶
Surprising Effectiveness of Masking Updates in Adaptive Optimizers
(
arxiv.org
)
5 points
by
gmays
5 days ago
|
|
queued
10.
▶
A New Perspective on Drawing Venn Diagrams for Data Visualization
(
arxiv.org
)
21 points
by
IdealeZahlen
6 days ago
|
5 comments
|
queued
About HRCB
|
By Right
|
HN Guidelines
|
HN FAQ
|
Source
|
UDHR
build cf3dcd7+9tle · 2026-02-24 23:19 UTC