Second-year graduate student.
-
Harbin Institute of Technology
- Shenzhen, China
-
06:42
(UTC +08:00) - zchuz.github.io
Stars
1
star
written in C
Clear filter
The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"