Math Max

mathmaxlover

1

·

AI & ML interests

None yet

Recent Activity

new activity about 1 month ago

SAIRfoundation/equational-theories-selected-problems:Add order5_austin subset (200 order-5 Austin-law problems, no ground truth)

View all activity

Organizations

models 0

None public yet

datasets 0

None public yet