thanks to @romsto for building the astonishing logo and webpage! 😊
LDI Lab
Language and Data Intelligence Lab, Seoul National University
- 22 followers
- Korea, South
- https://ldi.snu.ac.kr
Pinned Loading
Repositories
Showing 10 of 30 repositories
- course-login Public
- T2 Public
[ACL 2026 Industry] Benchmarking Testing in Automated Theorem Proving (TE2: Testing Evaluation by Execution)
- DuET Public
-
-
- expand_langchain Public
- DAC-demo Public
Top languages
Loading…
Most used topics
Loading…