2 papers
cs.AI2026
First Proof Second Batch
Mohammed Abouzaid, Nikhil Srivastava, Rachel Ward +1
To assess the ability of current AI systems to correctly solve research-level mathematics problems, we tested several AI systems on a set of ten problems in a broad range of mathem…
cs.CL2024
Phi-4 Technical Report
Marah Abdin, Jyoti Aneja, Harkirat Behl +24
We present phi-4, a 14-billion parameter language model developed with a training recipe that is centrally focused on data quality. Unlike most language models, where pre-training…