D.S. Jayalath

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Eval Frameworks & Benchmarks (1)Reasoning & Chain-of-Thought (1)Scientific Discovery & Drug Design (1)

Frequent co-authors

Erik Y. Wang (1)S. Motwani (1)Sumeet Motwani (1)J. Roggeveen (1)

Papers (1)

Mar 16, 2026

Erik Y. Wang +132w ago

HorizonMath: Measuring AI Progress Toward Mathematical Discovery with Automatic Verification

GPT 5.4 Pro may have made novel contributions to mathematics, outperforming published results on two unsolved problems, as measured by the new HorizonMath benchmark.

Erik Y. Wang, S. Motwani, Sumeet Motwani +11

Eval Frameworks & Benchmarks Reasoning & Chain-of-Thought Scientific Discovery & Drug Design

Search

D.S. Jayalath

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)