5 papers
A problem of Andrews and Dhar on partitions
Simon Mahns, Ken Ono, Jujian Zhang
This paper is motivated by a broad question about AI-assisted mathematics: can an AI system help discover and certify an explicit bijection between two infinite sequences of compli…
AI Realtor: Towards Grounded Persuasive Language Generation for Automated Copywriting
Jibang Wu, Chenghao Yang, Yi Wu +5
This paper develops an agentic framework that employs large language models (LLMs) for grounded persuasive language generation in automated copywriting, with real estate marketing…
ABC implies that Ramanujan's tau function misses almost all primes
David Kurniadi Angdinata, Evan Chen, Chris Cummins +21
Lehmer conjectured that Ramanujan's tau-function never vanishes. In a related direction, a folklore conjecture asserts that infinitely many primes arise as absolute values of Raman…
LLM-as-a-Prophet: Understanding Predictive Intelligence with Prophet Arena
Qingchuan Yang, Simon Mahns, Sida Li +3
Forecasting is not only a fundamental intellectual pursuit but also is of significant importance to societal systems such as finance and economics. With the rapid advances of large…
Agentic Operator Generation for ML ASICs
Alec M. Hammond, Aram Markosyan, Aman Dontula +15
We present TritorX, an agentic AI system designed to generate functionally correct Triton PyTorch ATen kernels at scale for emerging accelerator platforms. TritorX integrates open-…