7 papers
Towards Financial World Modeling
Humzah Merchant, Alec Guthrie, Simon Mahns +2
Building a world model requires a state representation useful for planning and decision-making---potentially over tasks unknown at training time. In the context of financial market…
DrivingBench: Can Vision-Language Models Drive a Toyota Corolla?
Aditya Ramabadran, Simon Mahns, Tobias Gessler
Frontier models excel at many digital benchmarks, yet their ability to drive a real car, an everyday human skill, remains largely untested. We present DrivingBench, to our knowledg…
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…
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…
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-…
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…
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…