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 20 days ago

RADIO-ViPE: Online Tightly Coupled Multi-Modal Fusion for Open-Vocabulary Semantic SLAM in Dynamic Environments

upvoted a paper 3 months ago

Semantic Search over 9 Million Mathematical Theorems

upvoted a paper 4 months ago

Learning to Repair Lean Proofs from Compiler Feedback

View all activity

Organizations

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

training dataset

#2 opened 5 months ago by

lawful-good-project

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

Update README.md

#3 opened 11 months ago by