Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales

Terms and Conditions

Twitter GitHub LinkedIn Bluesky Youtube

© 2026 ResearchTrend.AI, All rights reserved.

Home
Papers
2312.04556
Cited By

Large Language Models for Mathematicians

v1v2 (latest)

Large Language Models for Mathematicians

7 December 2023

Thomas Lukasiewicz

ArXiv (abs)PDF HTML HuggingFace (13 upvotes)

Papers citing "Large Language Models for Mathematicians"

4 / 4 papers shown

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks

Debargha Ganguly

Sreehari Sankar

Srinivasan Iyengar

Shivkumar Kalyanaraman

Vipin Chaudhary

303

2

0

26 May 2025

A Triumvirate of AI Driven Theoretical Discovery

A Triumvirate of AI Driven Theoretical Discovery

222

13

0

30 May 2024

A Survey on Deep Learning for Theorem Proving

A Survey on Deep Learning for Theorem Proving

284

49

0

15 Apr 2024

eCeLLM: Generalizing Large Language Models for E-commerce from
Large-scale, High-quality Instruction Data

eCeLLM: Generalizing Large Language Models for E-commerce from Large-scale, High-quality Instruction Data

Huan Sun

195

42

0

13 Feb 2024