Maxproof (arxiv.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of arxiv.org: Maxproof

First screen, captured 4 months ago.

Looks similar

Screenshot of arxiv.org: Scalable MatMul-Free Language Modeling

Scalable MatMul-Free Language Modeling (arxiv.org)

177 points by lykahb 2 years ago | 27 comments

Screenshot of arxiv.org: DeepSeek: Inference-Time Scaling for Generalist Reward Modeling

DeepSeek: Inference-Time Scaling for Generalist Reward Modeling (arxiv.org)

125 points by tim_sw 1 year ago | 24 comments

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

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

167 points by hhs 2 years ago | 48 comments

Screenshot of arxiv.org: KV Cache Compression 900000x Beyond TurboQuant and Per-Vector Shannon Limit

KV Cache Compression 900000x Beyond TurboQuant and Per-Vector Shannon Limit (arxiv.org)

40 points by EGreg 6 months ago | 11 comments

Screenshot of arxiv.org: M1: Towards Scalable Test-Time Compute with Mamba Reasoning Models

M1: Towards Scalable Test-Time Compute with Mamba Reasoning Models (arxiv.org)

26 points by dpstart01 1 year ago | 2 comments

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