ML News
new
|
past
|
best
|
rss
|
submit
about
Stories from February 27, 2023 (UTC)
Go back a
day
,
month
, or
year
. Go forward a
day
.
1.
ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
(
arxiv.org
)
2 points
by
super256
on Feb 27, 2023
|
hide
|
past
|
pdf
|
discuss
2.
Improving Large Language Models with External Knowledge and Automated Feedback
(
arxiv.org
)
2 points
by
georgehill
on Feb 27, 2023
|
hide
|
past
|
pdf
|
discuss
3.
Transformer learning explained: Coinductive guide to inductive transformer heads
(
arxiv.org
)
1 point
by
adamnemecek
on Feb 27, 2023
|
hide
|
past
|
pdf
|
1 comment
About
|
RSS
|
RSS (all)
|
HN arXiv
