DeepSeek: Advancing theorem proving in LLMs through large-scale synthetic data
Link: https://arxiv.org/abs/2405.14333
Discussion: https://news.ycombinator.com/item?id=41838589
Hacker News 100 /
npub1fv…h9s0d
2024-10-14 21:25:10
Author Public Key
npub1fv8mz4pa9jsmn336kathvncme6ek6dpzmgwgxc8kpn8f8ksnvmlsnh9s0dPublished at
2024-10-14 21:25:10Event JSON
{
"id": "b9f9c7561f401c8d28121c2eea93e13429e542331f4167182268aa28f114e997",
"pubkey": "4b0fb1543d2ca1b9c63ab757764f1bceb36d3422da1c8360f60cce93da1366ff",
"created_at": 1728941110,
"kind": 1,
"tags": [
[
"proxy",
"https://social.lansky.name/@hn100/113307884604844503",
"web"
],
[
"proxy",
"https://social.lansky.name/users/hn100/statuses/113307884604844503",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://social.lansky.name/users/hn100/statuses/113307884604844503",
"pink.momostr"
],
[
"-"
]
],
"content": "DeepSeek: Advancing theorem proving in LLMs through large-scale synthetic data\n\nLink: https://arxiv.org/abs/2405.14333\nDiscussion: https://news.ycombinator.com/item?id=41838589",
"sig": "671f8ddd4e06c5a88a71192cb967bcd53513a81f552dfe0a6b645ae2a0b2910efaff233dfbb217716d3afccd53bf6eb8787463037ad30d6bfb7f65d3829afcd5"
}