Isabel
IsabelDataSci
AI & ML interests
None yet
Organizations
None yet
surveys
math
-
Solving Inequality Proofs with Large Language Models
Paper • 2506.07927 • Published • 20 -
Mathesis: Towards Formal Theorem Proving from Natural Languages
Paper • 2506.07047 • Published • 5 -
Pre-trained Large Language Models Learn Hidden Markov Models In-context
Paper • 2506.07298 • Published • 26 -
Does Math Reasoning Improve General LLM Capabilities? Understanding Transferability of LLM Reasoning
Paper • 2507.00432 • Published • 76
deployment
surveys
randos
math
-
Solving Inequality Proofs with Large Language Models
Paper • 2506.07927 • Published • 20 -
Mathesis: Towards Formal Theorem Proving from Natural Languages
Paper • 2506.07047 • Published • 5 -
Pre-trained Large Language Models Learn Hidden Markov Models In-context
Paper • 2506.07298 • Published • 26 -
Does Math Reasoning Improve General LLM Capabilities? Understanding Transferability of LLM Reasoning
Paper • 2507.00432 • Published • 76
eval