DeepSeek: Advancing theorem proving in LLMs through large-scale synthetic data (arxiv.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of arxiv.org: DeepSeek: Advancing theorem proving in LLMs through large-scale synthetic data

First screen, captured 2 years ago.

Looks similar

Screenshot of arxiv.org: Accessing Math Solutions via Monte Carlo Self-Refine with LLaMa-3 8B

Accessing Math Solutions via Monte Carlo Self-Refine with LLaMa-3 8B (arxiv.org)

77 points by belter 2 years ago | 7 comments

Screenshot of arxiv.org: DeepSeek-V3 Technical Report

DeepSeek-V3 Technical Report (arxiv.org)

107 points by signa11 1 year ago | 27 comments

Screenshot of arxiv.org: AI for Scientific Search

AI for Scientific Search (arxiv.org)

108 points by omarsar 1 year ago | 26 comments

Screenshot of arxiv.org: Artificial Needles to Real Haystacks: Improving Retrieval Capabilities in LLMs

Artificial Needles to Real Haystacks: Improving Retrieval Capabilities in LLMs (arxiv.org)

92 points by veryluckyxyz 2 years ago | 18 comments

Screenshot of arxiv.org: LLM with Planning

LLM with Planning (arxiv.org)

54 points by mercat 3 years ago | 9 comments

Screenshot of arxiv.org: SplitQuantV2: Enhancing Low-Bit Quantization of LLMs Without GPUs

SplitQuantV2: Enhancing Low-Bit Quantization of LLMs Without GPUs (arxiv.org)

25 points by PaulHoule 1 year ago | 5 comments