Alexei Kopylov
- Humanity's Last Exam
2025/01/24 by Long Phan, Alice Gatti, Phan, Long +2240 · 9 voices · 171 citations
Computer Science · #cs.LG #cs.AI #cs.CL
- Dependent intersection: a new way of defining records in type theory
2003/12/22 by Alexei Kopylov · 2 citations
Computer Science · Engineering · #Logic, programming, and type systems #Software Engineering Research #Formal Methods in Verification #Intersection (aeronautics) #Type (biology) #Computer science #Type theory #Hickey #Data type #Abstract data type #Set (abstract data type) #Theoretical computer science #Programming language #Engineering