0

Flaviu Cipcigan

Papers
1

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
1papers

Authored papers

1

HorizonMath: Measuring AI Progress Toward Mathematical Discovery with Automatic Verification

arXiv 2026

2026

Affiliations

No known affiliations.

Frequent co-authors

9

from 1 papers

Alessandro Abate

1 shared paper

Charles London

1 shared paper

Dulhan Jayalath

1 shared paper

Eliot Hodges

1 shared paper

Erik Y. Wang

1 shared paper

James V. Roggeveen

1 shared paper

Kalyan Ramakrishnan

1 shared paper

Philip Torr

1 shared paper

Sumeet Motwani

1 shared paper