lawful-good-project's picture

2 3 4

lawful-good-project

lawful-good-project

·

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

lawful-good-project

AI & ML interests

datasets

Recent Activity

upvoted a paper 12 days ago

Semantic Search over 9 Million Mathematical Theorems

upvoted a paper 14 days ago

Learning to Repair Lean Proofs from Compiler Feedback

new activity 2 months ago

KenanKoiushov/Ken1.0-67B:training dataset

View all activity

Organizations

None yet

lawful-good-project 's datasets 10

lawful-good-project/sud_resh_evaluated_llms_answers

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

lawful-good-project/sud-resh-benchmark

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

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

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

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

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

lawful-good-project/ipc_decisions_4k_selected

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

lawful-good-project/ipc_decisions_4k_512

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

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

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

lawful-good-project/ipc_decisions_4k

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

lawful-good-project/ipc_decisions_4k_2048

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

lawful-good-project/ipc_decisions_4k_1024

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