Image de couverture de livre

LiveMathematicianBench: A Live Benchmark for Mathematician-Level Reasoning with Proof Sketches

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	He, Linyang, Yu, Qiyao, Dong, Hanze, Liao, Baohao, Xu, Xinxing, Goldblum, Micah, Bian, Jiang, Mesgarani, Nima
Format:	Preprint
Publié:	2026
Sujets:	Computation and Language Artificial Intelligence Machine Learning
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Far from the Shallow: Brain-Predictive Reasoning Embedding through Residual Disentanglement
par: He, Linyang, et autres
Publié: (2025)

Self-Hinting Language Models Enhance Reinforcement Learning
par: Liao, Baohao, et autres
Publié: (2026)

From Chains to DAGs: Probing the Graph Structure of Reasoning in LLMs
par: Zhong, Tianjun, et autres
Publié: (2026)

Maverick Mathematician
par: Moyal, Ann
Publié: (2013)

Conversations with Mathematicians.
par: Hoss, Madeline M., et autres
Publié: (1992)

Mathematicians in the age of AI
par: Avigad, Jeremy
Publié: (2026)

Accessibility for the Working Mathematician
par: Ross, Julius
Publié: (2025)

Prune, Interpret, Evaluate: A Cross-Layer Transcoder-Native Framework for Efficient Circuit Discovery via Feature Attribution
par: Chen, Qinhao, et autres
Publié: (2026)

Large Language Models for Mathematicians
par: Frieder, Simon, et autres
Publié: (2023)

Paul Lorenzen -- Mathematician and Logician
Publié: (2021)

Paul Lorenzen -- Mathematician and Logician
par: Gerhard Heinzmann

A Foundation for the Core Mathematician
par: Mumford, David, et autres
Publié: (2026)

Layer-wise Minimal Pair Probing Reveals Contextual Grammatical-Conceptual Hierarchy in Speech Representations
par: He, Linyang, et autres
Publié: (2025)

SightSound-R1: Cross-Modal Reasoning Distillation from Vision to Audio Language Models
par: Wang, Qiaolin, et autres
Publié: (2025)

Pierre Cartier: A Visionary Mathematician
par: Connes, Alain, et autres
Publié: (2024)

Reminiscences of S. K. Godunov. The Russian Mathematician
par: Toro, Eleuterio F.
Publié: (2026)

Reinforce-Ada: An Adaptive Sampling Framework under Non-linear RL Objectives
par: Xiong, Wei, et autres
Publié: (2025)

Particle Physics: a crash course for Mathematicians
par: Pasquarella, Veronica
Publié: (2024)

The Mathematician's Assistant: Integrating AI into Research Practice
par: Henkel, Jonas
Publié: (2025)

Joseph Carter Corbin: Arkansas's "Profound Mathematician''
par: Kass, Jesse Leo
Publié: (2023)

Information Seeking Behaviour of Mathematicians: Scientists and Students
par: Sapa, Remigiusz, et autres
Publié: (2014)

Rene Descartes as a Mathematician & Father of Modern Philosophy
par: İBAGÜNER, SİNAN
Publié: (2025)

Understanding Transformers and Attention Mechanisms: An Introduction for Applied Mathematicians
par: Serret, Michel Fabrice
Publié: (2026)

A Non-Expert's Introduction to Data Ethics for Mathematicians
par: Porter, Mason A.
Publié: (2022)

Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs
par: Son, Guijin, et autres
Publié: (2026)

Machine learning and information theory concepts towards an AI Mathematician
par: Bengio, Yoshua, et autres
Publié: (2024)

Constructing a Neuro-Symbolic Mathematician from First Principles
par: Xie, Keqin
Publié: (2025)

AI Mathematician: Towards Fully Automated Frontier Mathematical Research
par: Liu, Yuanhang, et autres
Publié: (2025)

Reseña de "Is God a Mathematician?" de MARIO LIVIO
par: Luz Marina Duque Martínez
Publié: (2011)

Fractured Chain-of-Thought Reasoning
par: Liao, Baohao, et autres
Publié: (2025)

How Disciplinary Norms Influence Mathematicians' Views of Programming in Undergraduate Mathematics
par: Olsen, Jan-Fredrik, et autres
Publié: (2026)

LiveBench: A Challenging, Contamination-Limited LLM Benchmark
par: White, Colin, et autres
Publié: (2024)

Reward-Guided Speculative Decoding for Efficient LLM Reasoning
par: Liao, Baohao, et autres
Publié: (2025)

Information Seeking Behavior of Scientists in the Electronic Information Age: Astronomers, Chemists, Mathematicians, and Physicists.
par: Brown, Cecelia M.
Publié: (1999)

Large Language Models as Neurolinguistic Subjects: Discrepancy between Performance and Competence
par: He, Linyang, et autres
Publié: (2024)

AI Mathematician as a Partner in Advancing Mathematical Discovery -- A Case Study in Homogenization Theory
par: Liu, Yuanhang, et autres
Publié: (2025)

LiveSearchBench: An Automatically Constructed Benchmark for Retrieval and Reasoning over Dynamic Knowledge
par: Zhou, Heng, et autres
Publié: (2025)

Dual-path Mamba: Short and Long-term Bidirectional Selective Structured State Space Models for Speech Separation
par: Jiang, Xilin, et autres
Publié: (2024)

MeanFlow-TSE: One-Step Generative Target Speaker Extraction with Mean Flow
par: Shimizu, Riki, et autres
Publié: (2025)

LiveResearchBench: A Live Benchmark for User-Centric Deep Research in the Wild
par: Wang, Jiayu, et autres
Publié: (2025)