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

lawful-good-project 's datasets 10

lawful-good-project/sud_resh_evaluated_llms_answers

Viewer • Updated Jul 15, 2025 • 105k • 92

lawful-good-project/sud-resh-benchmark

Viewer • Updated Jul 1, 2025 • 7k • 51 • 1

lawful-good-project/cyberleninka-law-30k

Viewer • Updated Feb 11, 2025 • 85.2k • 11

lawful-good-project/ipc-inst-2k

Viewer • Updated Feb 20, 2024 • 2.02k • 11

lawful-good-project/ipc_decisions_4k_selected

Viewer • Updated Feb 20, 2024 • 4.14k • 4

lawful-good-project/ipc_decisions_4k_512

Viewer • Updated Feb 20, 2024 • 1.35M • 9

lawful-good-project/dataset-qa-ip-law

Viewer • Updated Feb 20, 2024 • 40 • 7 • 1

lawful-good-project/ipc_decisions_4k

Viewer • Updated Feb 20, 2024 • 4.13k • 6

lawful-good-project/ipc_decisions_4k_2048

Viewer • Updated Feb 20, 2024 • 121k • 39

lawful-good-project/ipc_decisions_4k_1024

Viewer • Updated Feb 20, 2024 • 375k • 30