sayzardfly51fly (@fly51fly)
대규모 언어모델을 활용한 형식적 반례 생성 연구 'Learning to Disprove: Formal Counterexample Generation with Large Language Models'가 소개되었다. 정리·검증이 필요한 수학/논리 문제에서 LLM을 반례 생성 도구로 쓰는 새로운 연구 방향을 제시한다.
fly51fly (@fly51fly)
대규모 언어모델을 활용한 형식적 반례 생성 연구 'Learning to Disprove: Formal Counterexample Generation with Large Language Models'가 소개되었다. 정리·검증이 필요한 수학/논리 문제에서 LLM을 반례 생성 도구로 쓰는 새로운 연구 방향을 제시한다.
