First Proof (arxiv.org) | HN Screenshots

First screen, captured 8 months ago.

Looks similar

Screenshot of arxiv.org: Probabilistic Artificial Intelligence

Probabilistic Artificial Intelligence (arxiv.org)

335 points by pavanto 1 year ago | 83 comments

arXiv listing for "Probabilistic Artificial Intelligence" by Andreas Krause and Jonas Hübotter, a manuscript on probabilistic ML, uncertainty, and decision-making.

probabilistic-machine-learning uncertainty-quantification reinforcement-learning bayesian-inference

Screenshot of arxiv.org: Artificial Intelligence for Quantum Computing

Artificial Intelligence for Quantum Computing (arxiv.org)

52 points by jimminyx 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: Towards Autonomous Mathematics Research

Towards Autonomous Mathematics Research (arxiv.org)

90 points by gmays 8 months ago | 48 comments

Screenshot of arxiv.org: Kosmos: An AI Scientist for Autonomous Discovery

Kosmos: An AI Scientist for Autonomous Discovery (arxiv.org)

45 points by belter 11 months ago | 9 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

Looks similar

Probabilistic Artificial Intelligence(arxiv.org)

Artificial Intelligence for Quantum Computing(arxiv.org)

AI for Scientific Search(arxiv.org)

Towards Autonomous Mathematics Research(arxiv.org)

Kosmos: An AI Scientist for Autonomous Discovery(arxiv.org)

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