HALoGEN: Fantastic LLM Hallucinations and Where to Find Them Paper • 2501.08292 • Published 4 days ago • 16
Don't throw away your value model! Making PPO even better via Value-Guided Monte-Carlo Tree Search decoding Paper • 2309.15028 • Published Sep 26, 2023 • 1
MathVista: Evaluating Mathematical Reasoning of Foundation Models in Visual Contexts Paper • 2310.02255 • Published Oct 3, 2023 • 2
Crystal: Introspective Reasoners Reinforced with Self-Feedback Paper • 2310.04921 • Published Oct 7, 2023 • 1
NaturalProofs: Mathematical Theorem Proving in Natural Language Paper • 2104.01112 • Published Mar 24, 2021
Minds versus Machines: Rethinking Entailment Verification with Language Models Paper • 2402.03686 • Published Feb 6, 2024 • 1
NaturalProver: Grounded Mathematical Proof Generation with Language Models Paper • 2205.12910 • Published May 25, 2022
Rainier: Reinforced Knowledge Introspector for Commonsense Question Answering Paper • 2210.03078 • Published Oct 6, 2022 • 1