LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers Paper • 2310.15164 • Published Oct 23, 2023 • 2
Elements of World Knowledge (EWOK): A cognition-inspired framework for evaluating basic world knowledge in language models Paper • 2405.09605 • Published May 15, 2024
Fast Controlled Generation from Language Models with Adaptive Weighted Rejection Sampling Paper • 2504.05410 • Published 17 days ago • 3
Fast Controlled Generation from Language Models with Adaptive Weighted Rejection Sampling Paper • 2504.05410 • Published 17 days ago • 3 • 2
view article Article How NuminaMath Won the 1st AIMO Progress Prize By yfleureau and 7 others • Jul 11, 2024 • 119
view article Article How NuminaMath Won the 1st AIMO Progress Prize By yfleureau and 7 others • Jul 11, 2024 • 119