lawful-good-project's picture

lawful-good-project

lawful-good-project

·

https://t.me/+WhRk-Vi8PlpmMTky

lawful-good-project

AI & ML interests

datasets

Recent Activity

upvoted a paper about 1 month ago

Semantic Search over 9 Million Mathematical Theorems

upvoted a paper about 1 month ago

Learning to Repair Lean Proofs from Compiler Feedback

new activity 3 months ago

KenanKoiushov/Ken1.0-67B:training dataset

View all activity

Organizations

New activity in KenanKoiushov/Ken1.0-67B 3 months ago

training dataset

#2 opened 3 months ago by

lawful-good-project

New activity in lawful-good-project/sud-resh-benchmark 9 months ago

Update README.md

#3 opened 9 months ago by