Advancing Theorem Proving in LLMs Through Large-Scale Synthetic Data Posted by frednoodle on Sunday May 26, 2024 @03:31AM from the huggingface.co dept. https://huggingface.co/papers/2405.14333 ( no comments | 2 points | on HN )
There are no comments yet.