Simon Chess's picture

1 2

Simon Chess

sgvtc

·

xvade

AI & ML interests

None yet

Recent Activity

upvoted a paper 2 days ago

Semantic Search over 9 Million Mathematical Theorems

updated a dataset 3 days ago

uw-math-ai/APRIL

upvoted a paper 3 days ago

Learning to Repair Lean Proofs from Compiler Feedback

View all activity

Organizations

New activity in uw-math-ai/APRIL 5 days ago

Update README.md

#1 opened 5 days ago by

Update README.md

#1 opened 5 days ago by