symbolic-solver

수학적 기호나 논리식을 사용하여 문제를 해결하는 소프트웨어 도구다. LLM의 확률적 추론을 보완하여 엄격한 논리적 규칙에 따른 검증과 정확한 결론 도출을 돕는다.